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
Round and Computational Efficiency of Multi-party Protocols
Autor Luisa Siniscalchi
22 aug 2025
Hardback
Preț: 1258.23 lei 1572.78 lei
Indisponibil temporar
-20%
Cryptography Made Simple
Autor Nigel Smart
23 aug 2016
Paperback
Preț: 334.98 lei 418.71 lei
6-8 săpt.
-20%
The Theory of Hash Functions and Random Oracles: An Approach to Modern Cryptography
Autor Arno Mittelbach et al.
10 feb 2022
Paperback
Preț: 398.85 lei 498.56 lei
6-8 săpt.
-20%
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%
Modelling and Verification of Secure Exams
Autor Rosario Giustolisi
4 ian 2019
Paperback
Preț: 312.92 lei 391.15 lei
6-8 săpt.
-20%