Principles of Security and Trust

First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

  • Pierpaolo Degano
  • Joshua D. Guttman
Conference proceedings POST 2012

DOI: 10.1007/978-3-642-28641-4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7215)

Table of contents

  1. Front Matter
  2. Véronique Cortier, Jan Degrieck, Stéphanie Delaune
    Pages 30-50
  3. Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan
    Pages 51-68
  4. Myrto Arapinis, Sergiu Bursuc, Mark Ryan
    Pages 89-108
  5. Véronique Cortier, Cyrille Wiedling
    Pages 109-128
  6. David Basin, Cas Cremers, Simon Meier
    Pages 129-148
  7. Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
    Pages 149-168
  8. Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin
    Pages 209-228
  9. Anupam Datta, Divya Sharma, Arunesh Sinha
    Pages 229-248
  10. Ting-Fang Yen, Michael K. Reiter
    Pages 249-268
  11. Mu Yang, Vladimiro Sassone, Sardaouna Hamadou
    Pages 269-289
  12. Eike Best, Philippe Darondeau
    Pages 290-308
  13. David Basin, Vincent Jugé, Felix Klaedtke, Eugen Zălinescu
    Pages 309-328
  14. Dimiter Milushev, Dave Clarke
    Pages 329-348
  15. Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
    Pages 349-368

About these proceedings


This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software.
The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions. Topics covered by the papers include: foundations of security, authentication, confidentiality, privacy and anonymity, authorization and trust, network security, protocols for security, language-based security, and quantitative security properties.


de-anonymization differential privacy e-voting formal methods lifetime privacy loss

Editors and affiliations

  • Pierpaolo Degano
    • 1
  • Joshua D. Guttman
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Computer ScienceWorcester Polytechnic InstituteWorcesterUSA

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-28640-7
  • Online ISBN 978-3-642-28641-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349