Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9635)
Part of the book sub series: Security and Cryptology (LNSC)
Conference series link(s): POST: International Conference on Principles of Security and Trust
Conference proceedings info: POST 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (13 papers)
-
Front Matter
-
Back Matter
About this book
This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols.
Keywords
- browser security
- distributed systems security
- formal security models
- security protocols
- trust frameworks
- access control
- anonymity
- applied pi calculus
- authentication
- computational soundness
- confidentiality
- information flow control
- invariant generation
- logic and verification
- privacy
- provenance
- security requirements
- software security engineering
- stateful protocols
- test generation
Editors and Affiliations
-
KU Leuven, Leuven, Belgium
Frank Piessens
-
King’s College London, London, UK
Luca Viganò
Bibliographic Information
Book Title: Principles of Security and Trust
Book Subtitle: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Editors: Frank Piessens, Luca Viganò
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-49635-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2016
Softcover ISBN: 978-3-662-49634-3Published: 22 March 2016
eBook ISBN: 978-3-662-49635-0Published: 25 March 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 277
Number of Illustrations: 69 illustrations in colour
Topics: Systems and Data Security, Computer Communication Networks, Cryptology, Management of Computing and Information Systems, Computers and Society, Algorithm Analysis and Problem Complexity
