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 |