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.

Table of 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