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

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
  16. Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew Appel, Lennart Beringer, John Hatcliff et al.
    Pages 369-389
  17. Jason Crampton, Charles Morisset
    Pages 390-409
  18. Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
    Pages 410-429
  19. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-28640-7
  • Online ISBN 978-3-642-28641-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site