Eintrag weiter verarbeiten
Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cz...
Gespeichert in:
| Personen und Körperschaften: | , , , |
|---|---|
| Titel: | Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings/ edited by Flemming Nielson, David Sands |
| Format: | E-Book Konferenzbericht |
| Sprache: | Englisch |
| veröffentlicht: |
Cham
Springer
[2019]
|
| Gesamtaufnahme: |
Springer eBooks Lecture notes in computer science ; 11426 |
| Schlagwörter: | |
| Verfügbar auch als: | Druck-Ausgabe POST (8. : 2019 : Prag), Principles of security and trust, Cham : Springer, 2019, vi, 247 Seiten |
| Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |
| Zugangsinformationen: | Elektronischer Volltext - Open Access, Zugang über SpringerLink |
| Zusammenfassung: |
Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts This book is Open Access under a CC BY licence |
|---|---|
| Umfang: | 1 Online-Ressource (XI, 249 p. 2896 illus., 22 illus. in color) |
| ISBN: |
9783030171384
|
| DOI: | 10.1007/978-3-030-17138-4 |
| Zugang: | Open Access |