Veranstaltungsart und -inhalt
|
| Titel |
Safety und Security |
| Dozent |
Prof. 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
|
Vorlesung |
| Dozent |
Prof. Dr. Maciej Liskiewicz |
| Umfang |
2 SWS, ECTS-Credits: 4 |
| Termine |
Do 10:00 – 12:00, Seminarraum Informatik 5 (Von Neumann)
|
Übung |
| Assistent |
Martin Schuster M. Sc. |
| Umfang |
1 SWS |
| Termine |
Do 15.30 – 17:30, R 60-ZKL
|
