Events & News
263-4600-00L (2V + 1U) Spring Semester 2012
|Lecturers and Tutors||
Dr. Cas Cremers
Dr. Christoph Sprenger
Dr. Mohammad Torabi Dashti
|Lectures||Thursday 10-12, CAB G 57|
|Exercises||Thursday 15-16, CAB G 51|
|Homework||optional, but strongly recommended|
|Exams||oral exam (session examination)|
This lecture treats formal and cryptographic methods for the modeling and analysis of security-critical systems. The first and main part of the lecture will concentrate on cryptographic protocols. Cryptographic protocols such as SSL/TLS, SSH, Kerberos and IPSec, form the basis for secure communication and business processes. Numerous attacks on published protocols, such as public-key Kerberos, show that the design of these protocols is extremely error-prone. A rigorous analysis of these protocols is therefore indispensable. Besides an overview of existing analysis methods and tools the lecture will convey the theoretical basis and functioning of some selected methods and tools. The tutorials offer the possibility of applying some tools on concrete protocols. The second part of the lecture focuses on formal methods for modeling and analyzing authorization and access control systems. We will cover the foundations of authorization logics in distributed systems, and study a few notable existing formal logics developed in the past, such as SecPal and DKAL.
The slides of the lecture, the exercise sheets, and other resources are available from the course material page (login required).
The lecture is based mainly on various journal/conference papers, but see also:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.