Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
Bruno Blanchet
Engels | 10-07-2025 | 152 pagina's
9781680832068
Paperback / softback
€ 101,95
Van Dinter boeken
Niet in magazijn, wel te bestellen.
Informeer naar levertijd
Informeer naar levertijd
Tekst achterflap
Focuses on the verification of specifications of protocols in the symbolic model. ProVerif is an automatic symbolic protocol verifier. This survey presents an overview of the research on ProVerif and is the most comprehensive text available on the topic.
Details
| EAN : | 9781680832068 |
| Uitgever : | Van Ditmar Boekenimport B.V. |
| Publicatie datum : | 10-07-2025 |
| Uitvoering : | Paperback / softback |
| Taal/Talen : | Engels |
| Status : | Niet in magazijn, wel te bestellen. Informeer naar levertijd |
| Aantal pagina's : | 152 |
| Reeks : | Foundations and Trends® in Privacy and Security |