Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11426)
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 2019.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
-
Front Matter
-
Back Matter
About this book
This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.
The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
Keywords
- access control
- anonymity
- artificial intelligence
- authentication
- crypto foundations
- data security
- formal logic
- formal methods
- formal verifications
- model checking
- privacy
- program compilers
- programming languages
- reputation and trust
- semantics
- software engineering
- software evaluation
- trust management
- verification
Editors and Affiliations
-
Technical University of Denmark, Kongens Lyngby, Denmark
Flemming Nielson
-
Chalmers University of Technology, Gothenburg, Sweden
David Sands
Bibliographic Information
Book Title: Principles of Security and Trust
Book Subtitle: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Editors: Flemming Nielson, David Sands
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-17138-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2019
Softcover ISBN: 978-3-030-17137-7Published: 03 April 2019
eBook ISBN: 978-3-030-17138-4Published: 02 April 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 249
Number of Illustrations: 2874 b/w illustrations, 22 illustrations in colour
Topics: Systems and Data Security, Software Engineering/Programming and Operating Systems, Artificial Intelligence, System Performance and Evaluation, Computing Milieux, Theory of Computation
Industry Sectors: Aerospace, Automotive, Biotechnology, Electronics, Engineering, Finance, Business & Banking, IT & Software, Law, Pharma, Telecommunications