Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

by Véronique Cortier, Steve Kremer

Paperback

$90.00
Use Standard Shipping. For guaranteed delivery by December 24, use Express or Expedited Shipping.

Product Details

ISBN-13: 9781601989024
Publisher: Now Publishers
Publication date: 11/14/2014
Pages: 134
Product dimensions: 6.14(w) x 9.21(h) x 0.29(d)

Table of Contents

1: Introduction 2: Running example 3: Messages and deduction 4: Equational theory and static equivalence 5: A cryptographic process calculus 6: Security properties 7: Automated verification: bounded case 8: Automated verification: unbounded case 9: Further readings and conclusion. Acknowledgements. References

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews