Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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 |
| Autore | Nielson Flemming |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Springer Nature, 2019 |
| Descrizione fisica | 1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| 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 |
| ISBN | 3-030-17138-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNINA-9910337564003321 |
Nielson Flemming
|
||
| Springer Nature, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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
| 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 |
| Autore | Nielson Flemming |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Springer Nature, 2019 |
| Descrizione fisica | 1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| 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 |
| ISBN | 3-030-17138-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNISA-996466304203316 |
|
Nielson Flemming
|
||
| Springer Nature, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||