Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

By Steve Kremer and Véronique Cortier

Security protocols are distributed programs that are aimed at securing communications by the means of cryptography. They are for instance used to secure electronic payments, home banking, and more... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1601989024
• ISBN13: 9781601989024
• Release Date: November 2014
• Publisher: Now Publishers
• Length: 134 Pages
• Weight: 0.44 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"