URL study guide
https://tue.osiris-student.nl/onderwijscatalogus/extern/cursus?cursuscode=2IMS15&collegejaar=2025&taal=enOmschrijving
The student will learn what security protocols are, 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
- The Proverif protocol verification tool
- Expressing Secrecy, Authenticity and Authentication properties
- Typing for Secrecy
- Information flow
- Anonymity
Doelstellingen
The student knows how to verify properties of security protocols. To be precise:- The student know the terminology regarding security protocols and security requirement related to them
- The student is able to formulate the security goals of a protocol
- The student is capable of designing, possibly by adapting existing components, a secure solution (protocol) for a given problem (set of goasl to be achieved)
- The student can assess the security of simple protocols and has mastered at least masters two techniques for this