Operational Semantics and Verification of Security Protocols
Autor Cas Cremers et al.
31 oct 2012
Hardback
Preț: 402.57 lei 503.22 lei
6-8 săpt.
-20%
Information Security and Cryptography
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%