Get 40% off select Statistics books or choose from thousands of Archive eBooks at 9.99 each!

Security and Cryptology Advanced Research in Computing and Software Science

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

Editors: Degano, Pierpaolo, Guttman, Joshua D. (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-642-28641-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-642-28640-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (22 chapters)

Table of contents (22 chapters)
  • Differential Privacy and the Power of (Formalizing) Negative Thinking

    Pages 1-2

    Dwork, Cynthia

  • Security Protocol Verification: Symbolic and Computational Models

    Pages 3-29

    Blanchet, Bruno

  • Analysing Routing Protocols: Four Nodes Topologies Are Sufficient

    Pages 30-50

    Cortier, Véronique (et al.)

  • Parametric Verification of Address Space Separation

    Pages 51-68

    Franklin, Jason (et al.)

  • Verification of Security Protocols with Lists: From Length One to Unbounded Length

    Pages 69-88

    Paiola, Miriam (et al.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-642-28641-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-642-28640-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Principles of Security and Trust
Book Subtitle
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
Editors
  • Pierpaolo Degano
  • Joshua D. Guttman
Series Title
Security and Cryptology
Series Volume
7215
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-28641-4
DOI
10.1007/978-3-642-28641-4
Softcover ISBN
978-3-642-28640-7
Edition Number
1
Number of Pages
XIV, 431
Topics