Modeling and Analyzing Security Protocols with Tamarin
Autor David Basin et al.
28 iul 2025
Hardback
Preț: 355.33 lei 444.17 lei
6-8 săpt.
-20%
Cărți de Cas Cremers
Operational Semantics and Verification of Security Protocols
Autor Cas Cremers et al.
9 noi 2014
Paperback
Preț: 261.13 lei 326.41 lei
Indisponibil temporar
-20%
Security Standardisation Research: 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
Editat de Cas Cremers et al.
21 noi 2018
Paperback
Preț: 315.00 lei 393.74 lei
6-8 săpt.
-20%