Order

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
Secured by PayPal
PayPal Acceptance Mark

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

Bruno Blanchet

978-1-68083-207-5

260.00 USD

Please note that E-Book purchases can take up to two business days to be processed.