Overview
- 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)
Included in the following conference series:
Conference proceedings info: POST 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Principles of Security and Trust
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
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.
Editors and Affiliations
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
