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.
Formal Methods : An Appetizer / / by Flemming Nielson, Hanne Riis Nielson
| Formal Methods : An Appetizer / / by Flemming Nielson, Hanne Riis Nielson |
| Autore | Nielson Flemming |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVII, 160 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computers
Software engineering Theory of Computation Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-05156-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Program Graphs -- Guarded Commands -- Program Verification -- Program Analysis -- Language-Based Security -- Model Checking -- Procedures -- Concurrency -- Epilogue -- App. A, The MicroC Language -- App. B, Programming Projects -- App. C, Realisation in F# -- App. D, A Learning Environment -- Symbols -- Index. |
| Record Nr. | UNINA-9910349292603321 |
Nielson Flemming
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 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. | 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 | ||
| ||