Modeling and Analyzing Security Protocols with Tamarin
Autor David Basin et al.
28 iul 2025
Hardback
Preț: 355.33 lei 444.17 lei
6-8 săpt.
-20%
Information Security and Cryptography
The Complete Guide to SCION: From Design Principles to Formal Verification
Autor Laurent Chuat et al.
18 mai 2023
Paperback
Preț: 583.89 lei 729.87 lei
6-8 săpt.
-20%