Principles of Security and Trust

Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

  • David Basin
  • John C. Mitchell

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

Table of contents

  1. Front Matter
  2. Regular Papers

    1. Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark Ryan
      Pages 21-40
    2. Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 41-62
    3. Binh Thanh Nguyen, Christoph Sprenger
      Pages 83-104
    4. Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
      Pages 105-125
    5. Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
      Pages 126-146
    6. Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
      Pages 147-166
    7. Martín Abadi, Jérémy Planul
      Pages 167-185
    8. Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
      Pages 186-205
    9. Vincent Cheval, Bruno Blanchet
      Pages 226-246
    10. Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
      Pages 247-266
    11. Marco Carbone, Joshua D. Guttman
      Pages 267-286
  3. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, in Rome, Italy, in March 2013. The 14 papers included in this volume were carefully reviewed and selected from 59 submissions. They deal with the theoretical and foundational aspects of security and trust such as new theoretical results, practical applications of existing foundational ideas, and innovative theoretical approaches stimulated by pressing practical problems.


encryption formal verification intrusion detection privacy security protocols

Editors and affiliations

  • David Basin
    • 1
  • John C. Mitchell
    • 2
  1. 1.Institute of Information SecurityETH ZurichSwitzerland
  2. 2.Department of Computer ScienceStanford UniversityStanfordUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-36829-5
  • Online ISBN 978-3-642-36830-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software