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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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
|
| Pubblicazione: | Springer Nature, 2019 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | |
| Edizione: | 1st ed. 2019. |
| Descrizione fisica: | 1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.) |
| Disciplina: | 005.8 |
| Soggetto topico: | 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 | |
| Soggetto non controllato: | Computer science |
| Computer security | |
| Software engineering | |
| Artificial intelligence | |
| Computer system failures | |
| Computers | |
| Persona (resp. second.): | NielsonFlemming |
| SandsDavid | |
| 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. |
| Titolo autorizzato: | Principles of Security and Trust |
| ISBN: | 3-030-17138-8 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910337564003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Security and Cryptology ; ; 11426