An edition of Principles of Security and Trust (2018)

Principles of Security and Trust

7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Principles of Security and Trust
Lujo Bauer, Ralf Küsters, Lujo ...
Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by MARC Bot
November 16, 2020 | History
An edition of Principles of Security and Trust (2018)

Principles of Security and Trust

7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

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

Publish Date
Publisher
Springer Nature

Buy this book

Book Details


Edition Notes

Open Access Unrestricted online access

Creative Commons https://creativecommons.org/licenses/by/4.0/

English

Published in
Cham

Edition Identifiers

Open Library
OL31367804M
ISBN 13
9783319897226

Work Identifiers

Work ID
OL20831171W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation