Order

978-1-68083-206-8
Secured by PayPal
PayPal Acceptance Mark

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Bruno Blanchet

978-1-68083-206-8

95.00 USD