This is the website for the course "Modelling and Analysis of Security Protocols" taught by Tom Chothia in Leiden September to December 2007. Here you can find all the handouts, lecture slides, exercises and related papers and links for this course. You may also e-mail with course related questions at T.Chothia (a) cwi.nl
The course is over, you may return to your lives.
If you are interested in doing a M.Sc. project based on anything to do with this course then e-mail me. A list of project ideas is available here.
The course feed back questionnaire is here. Please fill this out and return it to me, as your feed back can help me improve the course.
Protocols describe how communication between computers takes place.
While most protocols are simple enough to be written down in a few lines, designing correct protocols is notoriously hard. This course
There are no formal requirements for this course, however good mathematical skills and an enjoyment of solving logic puzzles would be
Master Computer Science
Dr. T. Chothia
The examination will be by presentations and