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.
31 oct 2012
Hardback
Preț: 402.57 lei 503.22 lei
43-57 zile
-20%