1. December 7, 2001DIMI, Universita’ di Udine, Italy Graduate Course on Computer Security Lecture 9: Automated Verification Iliano Cervesato iliano@itd.nrl.navy.mil ITT Industries, Inc @ NRL – Washington DC http://www.cs.stanford.edu/~iliano/

2. Computer Security: 9 – Automated Verification 2 Outline  Complexity of protocol verification  Techniques and tools  Model checking  Theorem proving  Process equivalence  Belief logics

3. Computer Security: 9 – Automated Verification 3 Readings

4. Computer Security: 9 – Automated Verification 4 Exercises for Lecture 9

5. Computer Security: 9 – Automated Verification 5 Next …  Beyond authentication