Order

978-1-68083-207-5

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.