Kirjat Sjouke Mauw
Operational Semantics and Verification of Security Protocols
-25% koodilla BOOKS
Toimittajalla varastossa
Operational Semantics and Verification of Security Protocols
-25% koodilla BOOKS
Toimittajalla varastossa
Security Protocols and Threat Models: Security and Privacy via The Applied ¿-Calculus
Sjouke Mauw, Felix Stutz, Semen Yurkov, Reynaldo Gil-Pons, Ross Horne
-25% koodilla BOOKS
Toimittajalla varastossa