Umfang:
1 Online-Ressource (XI, 249 p. 2896 illus., 22 illus. in color)
ISBN:
9783030171384
Serie:
Lecture notes in computer science 11426
Inhalt:
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
Inhalt:
This book is Open Access under a CC BY licence
Weitere Ausg.:
ISBN 9783030171377
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-17137-7
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe POST (8. : 2019 : Prag) Principles of security and trust Cham : Springer, 2019 ISBN 9783030171377
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Datenschutz
;
Datensicherung
;
Konferenzschrift
DOI:
10.1007/978-3-030-17138-4