Modeling and Analyzing Security Protocols with Tamarin
Autor David Basin et al.
28 iul 2025
Hardback
Preț: 433.72 lei
43-57 zile
Cărți de David Basin
Labelled Deduction
Editat de David Basin et al.
30 apr 2000
Hardback
Preț: 651.13 lei 766.03 lei
43-57 zile
-15%
Automated Reasoning
Editat de David Basin et al.
22 iun 2004
Paperback
Preț: 660.26 lei 825.33 lei
43-57 zile
-20%
Theorem Proving in Higher Order Logics
Editat de David Basin et al.
21 aug 2003
Paperback
Preț: 381.25 lei
43-57 zile
Applied Information Security
Autor David Basin et al.
29 noi 2013
Paperback
Preț: 250.28 lei 312.85 lei
Indisponibil temporar
-20%
The Complete Guide to SCION
Autor Laurent Chuat et al.
18 mai 2023
Paperback
Preț: 588.93 lei 736.16 lei
43-57 zile
-20%
Principles of Security and Trust
Editat de David Basin et al.
20 feb 2013
Paperback
Preț: 335.46 lei 419.34 lei
43-57 zile
-20%