Benutzerdefiniertes Cover
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
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Security and CryptologyVerlag: Cham : Springer Nature, 2018Beschreibung: 1 Online-RessourceISBN:- 9783319897226
- Computer science
- authentication
- 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
- thema EDItEUR::U Computing and Information Technology::UY Computer science
Dieser Titel hat keine Exemplare
Open Access. Unrestricted online access star
Creative Commons https://creativecommons.org/licenses/by/4.0 cc
English