| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910337564003321 |
|
|
Autore |
Nielson Flemming |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Springer Nature, 2019 |
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Security and Cryptology ; ; 11426 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer security |
Software engineering |
Artificial intelligence |
Computer system failures |
Computers |
Systems and Data Security |
Software Engineering/Programming and Operating Systems |
Artificial Intelligence |
System Performance and Evaluation |
Computing Milieux |
Theory of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book is Open Access under a CC BY licence. |
|
|
|
|
|
| |