Book Details

Principles of Security and Trust

Publication year: 2018

ISBN: 978-3-319-89722-6

Internet Resource: Please Login to download book


This volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April 16–17, 2018, in Thessaloniki, Greece, as part of ETAPS. Principles of Security and Trust is a broad forum related to all theo-retical and foundational aspects of security and trust.


Subject: Open Access, authentication, computer science, computer software selection and evaluation, cryptography, data privacy, formal logic, formal methods, formal specification, internet, privacy, program compilers, programming languages, security analysis, security systems, semantics, separation logic, software engineering, specifications, verification, world wide web