Graduate Course on Computer Security Lecture 9: Automated Verification

1
Graduate Course on Computer SecurityLecture 9
Automated Verification

• Iliano Cervesato iliano_at_itd.nrl.navy.mil
• ITT Industries, Inc _at_ NRL Washington DC
• http//www.cs.stanford.edu/iliano/

2
Outline

• Complexity of protocol verification
• Techniques and tools
• Model checking
• Theorem proving
• Process equivalence
• Belief logics

3
Readings
4
Exercises for Lecture 9
5
Next

• Beyond authentication