Kirjat Cas Cremers
Operational Semantics and Verification of Security Protocols
-25% koodilla BOOKS
Toimittajalla varastossa
Operational Semantics and Verification of Security Protocols
-25% koodilla BOOKS
Toimittajalla varastossa
Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide
Ralf Sasse, Cas Cremers, David Basin, Jannik Dreier
-25% koodilla BOOKS
Toimittajalla varastossa