Modeling and Analyzing Security Protocols with Tamarin
Autor David Basin et al.
28 iul 2025
Hardback
Preț: 355.33 lei 444.17 lei
43-57 zile
-20%
Information Security and Cryptography
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%