Contact
Teaching
 |
 |
|
| Courses | ||
 |
 |
|
|
|
| Formale Methoden der Computersicherheit |
 |
||||||||||||||||||||||||||||||||||||
| held by: |
Prof. Dr. Stefan Katzenbeisser |
|||||||||||||||||||||||||||||||||||
| held in: | WS 2007/2008 | |||||||||||||||||||||||||||||||||||
| sws: | 2 | |||||||||||||||||||||||||||||||||||
| ects: | 3 | |||||||||||||||||||||||||||||||||||
| 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 am 19. und 20. November 2007 (jeweils von 10.00-17.00) im Raum 03.09.014 statt. Der zweite Block findet am am 21. und 22. Januar 2008 (jeweils von 10.00-17.00) im Raum 03.09.014 (Montag nachmittags in Raum 03.11.034) statt. Um eine Anmeldung per e-mail unter skatzenbeisser@acm.org wird gebeten. | ||||||||||||||||||||||||||||||||||||
| downloadable material: | ||||||||||||||||||||||||||||||||||||
slides
|
||||||||||||||||||||||||||||||||||||
 |
 |
|||||||||||||||||||||||||||||||||||
