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
News:
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.
Course Description
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
covers:
There are no formal requirements for this course, however good mathematical skills and an enjoyment of solving logic puzzles would be
helpful.
Year:
2007-2008
Intended Group(s):
Master Computer Science
Studypoints:
6
Lecturer(s):
Dr. T. Chothia
Examination:
The examination will be by presentations and
practical assignments.