Buy Now, In-Store Pick Up Only

  • Front cover_Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
Free Preview of Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

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

Bruno Blanchet
Oct 31, 2016
$123.50
Online pricing. Prices and offers may vary in store.
.
.    Learn More
This product requires a minimum order of  1
Final Sale. No returns or exchanges.
This item will be shipped by appointment through our delivery partner.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Earn 618 points and enjoy extra savings with plum+. 

Overview

Appropriate for
Language
English
No. of Pages
152
Foundations and Trends(r) in Privacy and Security
Publisher: Now Publishers
Shipping dimensions: 9" H x 6" W x 1" L
ISBN: 9781680832068
Life stage: null

You May Also Like

Ratings & Reviews

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 5ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Editorial reviews

Author

Others Also Bought