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