Veranstaltungsart und -inhalt
|
| Titel |
Safety und Security |
| Dozent |
PD Dr. Maciej Liskiewicz |
| Einordnung |
Master-Studiengang Informatik und AF Software Systems Engineering 2. Semester |
| Inhalte |
- Temporale Logiken
- Grundkonzepte von Safety
- Verifikation von Safety-Eigenschaften
- Grundkonzepte von Security
- Nebenläufigkeit
- Formale Modellierungen von Safety-Eigenschaften
- Model Checking und Werkzeuge
- Verifikation von Protokollen
|
| Qualifikationsziele |
- Fähigkeit zur Analyse der Safety-Eigenschaft von Systemen
- Fähigkeit zur Analyse der Security-Eigenschaft von Systemen
- Kenntnisse der grundlegenden Techniken des Model Checkings
- Verständnis für die Grenzen automatischer Verifikation
|
| Empfohlene Literatur |
- Huth, Ryan, Logic in Computer Science, Cambridge 2004
- Manna, Pnueli, Temporal Verification of Reactive Systems, Springer 1995
- Salomon, Data Privacy and Security, Springer 2003
- Denning, Cryptography and Data Security, Addison Wesley 1982
- Tipton, Krause, Information Security Management, Auerbach 2000/2001
|
| Wiki |
Wiki zur Veranstaltung »Safety und Security«
|
Vorlesung |
| Dozent |
PD Dr. Maciej Liskiewicz |
| Umfang |
2 SWS, ECTS-Credits: 4 |
| Termine |
Mo 16:00 – 18:00, AM 3
|
Übung |
| Assistent |
Dipl.-Inf. Michael Elberfeld |
| Umfang |
1 SWS |
| Termine |
Do 16:00 – 17:00, ITCS Seminarraum 2021 (Das erste
Tutorium findet am 12. April 2012 statt.)
|
