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.

Detalles Bibliográficos
Otros Autores: Ralf Küsters (auth), Bauer, Lujo. editor (editor), Küsters, Ralf. editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham : Springer Nature 2018
2018.
Edición:1st ed. 2018.
Colección:Security and Cryptology ; 10804
Materias:
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
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009432269106719
Descripción
Sumario:This book is Open Access under a CC BY licence.
Descripción Física:1 online resource (XIV, 347 p. 85 illus.)
ISBN:9783319897226

Ejemplares similares