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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Ralf Küsters
|
| Titolo: |
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
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Edizione: | 1st ed. 2018. |
| Descrizione fisica: | 1 online resource (XIV, 347 p. 85 illus.) |
| Disciplina: | 005.8 |
| Soggetto topico: | Data protection |
| Computer science | |
| Computers | |
| Data structures (Computer science) | |
| Information theory | |
| Electronic digital computers - Evaluation | |
| Data and Information Security | |
| Theory of Computation | |
| Computing Milieux | |
| Data Structures and Information Theory | |
| System Performance and Evaluation | |
| Persona (resp. second.): | BauerLujo |
| KüstersRalf | |
| Nota di contenuto: | 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. |
| Sommario/riassunto: | This book is Open Access under a CC BY licence. |
| Titolo autorizzato: | Principles of Security and Trust |
| ISBN: | 9783319897226 |
| 3319897225 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910293140103321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Security and Cryptology, . 2946-1863 ; ; 10804