Contact
Teaching
 |
 |
|
| Courses | ||
 |
 |
|
|
|
| Formale Sicherheitsanalyse |
 |
|||||||||||||||||||||||||||||||||||||||
| held by: |
Prof. Dr. Stefan Katzenbeisser |
||||||||||||||||||||||||||||||||||||||
| held in: | WS 2006/2007 | ||||||||||||||||||||||||||||||||||||||
| sws: | 2 | ||||||||||||||||||||||||||||||||||||||
| Die zunehmende Vernetzung von Computersystemen hat zur Folge,
dass auch deren Gefährdung drastisch ansteigt. In den letzten Jahren
sind daher Sicherheitsfragen in verschiedenen Teilbereichen der
Informatik ins Zentrum der aktuellen Forschung gerückt. In dieser
Vorlesung werden verschiedene Ansätze besprochen, Computersysteme
gegen feindliche Angriffe abzusichern. Neben kryptographischen
Mechanismen
werden Techniken zum Design sicherer Kommunikationsprotokolle
sowie zur Analyse sicherheitskritischer Software vorgestellt.
Vorlesungsthemen:
Die Vorlesung wird geblockt abgehalten. Der erste Vorlesungsblock findet vom 16. bis 18. November 2006 statt, die Termine des zweiten Blocks werden in Abstimmung mit den Teilnehmern in der ersten Vorlesungsstunde festgelegt. Die Vorlesung beginnt am 16. November 2006, um 10.00 im Seminarraum 03.09.014. Der erste Vorlesungsblock besteht aus 7 Teilen, die zu den folgenden Zeiten stattfinden:
Die Prüfung wird am 30.3.2007 mündlich stattfinden (Anmeldung in der Vorlesung oder per e-Mail). | |||||||||||||||||||||||||||||||||||||||
| downloadable material: | |||||||||||||||||||||||||||||||||||||||
slides
|
|||||||||||||||||||||||||||||||||||||||
 |
 |
||||||||||||||||||||||||||||||||||||||
