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 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

This book is Open Access under a CC BY licence.

Bibliographic Details
Other Authors: Ralf Küsters (auth), Bauer, Lujo. editor (editor), Küsters, Ralf. editor
Format: eBook
Language:Inglés
Published: Cham : Springer Nature 2018
2018.
Edition:1st ed. 2018.
Series:Security and Cryptology ; 10804
Subjects:
Computer security.
Computers.
Data structures (Computer science).
Computer system failures.
Systems and Data Security.
Theory of Computation.
Computing Milieux.
Data Structures and Information Theory.
System Performance and Evaluation.
security analysis
cryptography
privacy
world wide web
semantics
programming languages
formal specification
program compilers
specifications
formal logic
computer science
separation logic
formal methods
data privacy
security systems
software engineering
computer software selection and evaluation
internet
verification
authentication
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009432269106719
Description
Summary:This book is Open Access under a CC BY licence.
Physical Description:1 online resource (XIV, 347 p. 85 illus.)
ISBN:9783319897226

Similar Items