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

Tabla de Contenidos:

Information Flow and Non-Intereference
What's the Over/Under? Probabilistic Bounds on Information Leakage
Secure Information Release in Timed Automata
Compositional Non-Interference for Concurrent Programs via Separation and Framing
The Meaning of Memory Safety
Leakage, Information Flow, and Protocols
Formal Verification of Integrity Preserving Countermeasures Against Cache Storage
Leakage and Protocol Composition in a Game-theoretic Perspective
Equivalence Properties by Typing in Cryptographic Branching Protocols
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience
Smart Contracts and Privacy
SoK: Unraveling Bitcoin Smart Contracts
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
UniTraX: Protecting Data Privacy with Discoverable Biases
Firewalls and Attack-Defense Trees
Transcompiling Firewalls
On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.

Ejemplares similares