Verification of Security Protocols
| Course ID
|
2IF02
|
| Credits
|
6
|
| Scheduled
|
Second semester (First year)
|
2009 / 2010
| Starting from
|
01 / 02 / 2010
|
| Scheduling
|
Mondays, 10:45 - 12:30
|
| Location
|
Auditorium 2
|
| Teacher
|
prof.dr. S. Etalle (Responsible lecturer), dr. J.I. den Hartog (Co-lecturer)
|
| Website
|
http://www.win.tue.nl/~jhartog/CourseVerif/
|
Examination
| Exam Date
|
?
|
| Exam location
|
?
|
Learning objects
- The student know the terminology regarding security protocols and knows what security requirements can put forward.
- The student is capable of designing, possibly by adapting existing components, a secure system for a given problem.
- The student is able to formulate the security goals of a protocol.
- The student can assess the safety of simple protocols.
- This the student masters at least masters two techniques for this.
Course description
The student will learn what are security protocols, which kind of flaws they can contain and how to detect and fix such flaws.
The following topics are treated:
- The Spi-calculus modeling language
- Typing for Secrecy, Authenticity, Authentication
- The Proverif protocol verification tool
- Anonymity
- Information flow