Principles of Security and Trust [electronic resource] : 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.
Вид матеріалу:
Текст Серія: Security and Cryptology ; 11426Публікація: Cham : Springer International Publishing : Imprint: Springer, 2019Видання: 1st ed. 2019Опис: XI, 249 p. 2896 illus., 22 illus. in color. online resourceТип вмісту: - text
- computer
- online resource
- 9783030171384
- 005.8 23
- QA76.9.A25
Вміст:
У: Springer Nature eBookЗведення: This book is Open Access under a CC BY licence.
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.
Немає реальних примірників для цього запису
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.
Open Access
This book is Open Access under a CC BY licence.
Немає коментарів для цієї одиниці.
Увійти в обліковий запис для можливості публікувати коментарі.