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