Modeling and Analyzing Security Protocols with Tamarin
Autor David Basin et al.
28 iul 2025
Hardback
Preț: 417.07 lei
6-8 săpt.
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%