CPP-reviews
changeset 15 baa2970a9687
parent 14 d43f46423298
equal deleted inserted replaced
14:d43f46423298 15:baa2970a9687
     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