Modeling and Analyzing Security Protocols with Tamarin
Autor David Basin et al.
28 iul 2025
Hardback
Preț: 379.32 lei 474.15 lei
38-44 zile
-20%
Information Security and Cryptography
Operational Semantics and Verification of Security Protocols
Autor Cas Cremers et al.
9 noi 2014
Paperback
Preț: 328.62 lei 410.77 lei
38-44 zile
-20%