|      1 From VM Fri Sep  6 13:27:30 2013 |         | 
|      2 X-VM-v5-Data: ([nil nil nil nil t nil nil nil nil] |         | 
|      3 	["8896" "Monday" "26" "August" "2013" "16:57:55" "+0200" "CPP 2013" "cpp2013@easychair.org" nil "98" "CPP 2013 notification for paper 42" "^From:" nil nil "8" nil nil nil nil nil nil nil nil nil nil] |         | 
|      4 	nil) |         | 
|      5 Return-Path: <cpp2013@easychair.org> |         | 
|      6 Delivered-To: unknown |         | 
|      7 Received: from mailbroy.in.tum.de (131.159.46.88:995) by |         | 
|      8   Christians-MacBook-Air-2.local with POP3-SSL; 26 Aug 2013 16:26:47 -0000 |         | 
|      9 X-Original-To: urbanc@mailbroy.informatik.tu-muenchen.de |         | 
|     10 Delivered-To: urbanc@mailbroy.informatik.tu-muenchen.de |         | 
|     11 Received: from localhost (scan46 [10.46.146.16]) |         | 
|     12 	by mail46.informatik.tu-muenchen.de (Postfix) with ESMTP id 9A063885ECCEA |         | 
|     13 	for <urbanc@mailbroy.informatik.tu-muenchen.de>; Mon, 26 Aug 2013 16:58:08 +0200 (CEST) |         | 
|     14 X-Virus-Scanned: amavisd-new at informatik.tu-muenchen.de |         | 
|     15 X-Spam-MTA-Flag: NO |         | 
|     16 X-Spam-MTA-Status: No, score=0.0 required=5.0 tests=none autolearn=unavailable |         | 
|     17 	version=3.3.2 |         | 
|     18 X-Spam-MTA-Level:  |         | 
|     19 X-Spam-MTA-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on scan46 |         | 
|     20 Received: from mail46.informatik.tu-muenchen.de ([10.46.146.15]) |         | 
|     21 	by localhost (mail46.informatik.tu-muenchen.de [10.46.146.16]) (amavisd-new, port 10024) |         | 
|     22 	with ESMTP id i--Dvm4t7vwc |         | 
|     23 	for <urbanc@mailbroy.informatik.tu-muenchen.de>; |         | 
|     24 	Mon, 26 Aug 2013 16:58:03 +0200 (CEST) |         | 
|     25 Received: from mailrelay1.informatik.tu-muenchen.de (mailrelay1.informatik.tu-muenchen.de [131.159.254.14]) |         | 
|     26 	by mail46.informatik.tu-muenchen.de (Postfix) with ESMTP id 119618133D93D |         | 
|     27 	for <urbanc@mailbroy.informatik.tu-muenchen.de>; Mon, 26 Aug 2013 16:58:03 +0200 (CEST) |         | 
|     28 Received: by mailrelay1.informatik.tu-muenchen.de (Postfix) |         | 
|     29 	id E3FAA27E4D; Mon, 26 Aug 2013 16:58:02 +0200 (CEST) |         | 
|     30 Delivered-To: christian.urban@informatik.tu-muenchen.de |         | 
|     31 Received: from mailrelay1.informatik.tu-muenchen.de (localhost [127.0.0.1]) |         | 
|     32 	by mailrelay1.informatik.tu-muenchen.de (Postfix) with ESMTP id CD21927E49 |         | 
|     33 	for <urbanc@in.tum.de>; Mon, 26 Aug 2013 16:58:02 +0200 (CEST) |         | 
|     34 Received: from maildmz2.informatik.tu-muenchen.de (maildmz2.informatik.tu-muenchen.de [131.159.0.15]) |         | 
|     35 	by mailrelay1.informatik.tu-muenchen.de (Postfix) with ESMTP id C41B127E48 |         | 
|     36 	for <urbanc@in.tum.de>; Mon, 26 Aug 2013 16:58:02 +0200 (CEST) |         | 
|     37 Received: by maildmz2.informatik.tu-muenchen.de (Postfix, from userid 1506) |         | 
|     38 	id BF13F4C7BD; Mon, 26 Aug 2013 16:58:02 +0200 (CEST) |         | 
|     39 X-Spam-Checker-Version: SpamAssassin 3.2.5-tuminfo_1 (2008-06-10) on maildmz2 |         | 
|     40 X-Spam-Level:  |         | 
|     41 X-Spam-Status: No, score=-2.6 required=7.0 tests=AWL,BAYES_00 autolearn=ham |         | 
|     42 	version=3.2.5-tuminfo_1 |         | 
|     43 Received: from maildmz2.informatik.tu-muenchen.de (localhost [127.0.0.1]) |         | 
|     44 	by maildmz2.informatik.tu-muenchen.de (Postfix) with ESMTP id 07430491BD |         | 
|     45 	for <urbanc@in.tum.de>; Mon, 26 Aug 2013 16:57:54 +0200 (CEST) |         | 
|     46 Received: from easychair.org (easychair.org [80.241.208.147]) |         | 
|     47 	by maildmz2.informatik.tu-muenchen.de (Postfix) with ESMTP id E7286491BC |         | 
|     48 	for <urbanc@in.tum.de>; Mon, 26 Aug 2013 16:57:53 +0200 (CEST) |         | 
|     49 Received: from localhost.localdomain (m1647.giga-dns.com [80.241.208.147]) |         | 
|     50 	by easychair.org (8.14.5/8.14.5) with ESMTP id r7QEvt6V020904 |         | 
|     51 	for <urbanc@in.tum.de>; Mon, 26 Aug 2013 16:57:55 +0200 |         | 
|     52 Message-Id: <201308261457.r7QEvt6V020904@easychair.org> |         | 
|     53 Content-Disposition: inline |         | 
|     54 Content-Transfer-Encoding: 8bit |         | 
|     55 Content-Type: text/plain; charset="UTF-8" |         | 
|     56 MIME-Version: 1.0 |         | 
|     57 X-Mailer: MIME::Lite 3.029 (F2.82; T1.38; A2.12; B3.13; Q3.13) |         | 
|     58 From: CPP 2013 <cpp2013@easychair.org> |         | 
|     59 To: Christian Urban <urbanc@in.tum.de> |         | 
|     60 Subject: CPP 2013 notification for paper 42 |         | 
|     61 Date: Mon, 26 Aug 2013 16:57:55 +0200 |         | 
|     62  |      1  | 
|     63 Dear Christian Urban, |      2 Dear Christian Urban, | 
|     64  |      3  | 
|     65    We are happy to inform you that you paper 42, |      4    We are happy to inform you that you paper 42, | 
|     66       A Formal Model and Correctness Proof for an Access Control Policy Framework |      5       A Formal Model and Correctness Proof for an Access Control Policy Framework |