1. Introduction

2. What is a cryptographic protocol?

3. A variety of security properties

4. Formalizing protocols and properties

5. Methods and tools for verifying equivalence-based properties

6. Conclusion