Formal Models and Techniques for Analyzing Security Protocols
Veronique Cortier-Steve Kremer
Engels | 10-07-2025 | 134 pagina's
9781601989024
Paperback / softback
€ 96,00
Van Dinter boeken
Niet in magazijn, wel te bestellen.
Informeer naar levertijd
Informeer naar levertijd
Tekst achterflap
Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results.
Details
| EAN : | 9781601989024 |
| 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 : | 134 |
| Reeks : | Foundations and Trends® in Programming Languages |