Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif (Foundations and Trends
By
Rating
Product Description
Product Details
Promotional Information
Contents: 1. Introduction 2. The Protocol Specification Language 3.
Verifying Security Properties 4. Link with the Applied Pi Calculus
5. Applications 6. Conclusion. Appendices. References.
This title is unavailable for purchase as none of our regular suppliers have stock available. If you are the publisher, author or distributor for this item, please visit
this link.