Eintrag weiter verarbeiten

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, Thessaloni...

Gespeichert in:

Personen und Körperschaften: Bauer, Lujo (HerausgeberIn), Küsters, Ralf (HerausgeberIn)
Titel: 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/ edited by Lujo Bauer, Ralf Küsters
Format: E-Book
Sprache: Englisch
veröffentlicht:
Cham Springer 2018
Gesamtaufnahme: SpringerLink
Springer eBook Collection
Lecture notes in computer science ; 10804
Schlagwörter:
Weitere Ausgaben: 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
Quelle: Verbunddaten SWB
Lizenzfreie Online-Ressourcen
Zugangsinformationen: Elektronischer Volltext - Open Access, Zugang über SpringerLink
Details
Zusammenfassung: This book is Open Access under a CC BY licence
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
Umfang: Online-Ressource (XIV, 347 p. 85 illus, online resource)
ISBN: 9783319897226
DOI: 10.1007/978-3-319-89722-6
Zugang: Open Access