Veranstaltungsart und -inhalt
|
| Titel |
Safety und Security |
| Dozent |
Prof. Dr. Maciej Liskiewicz |
| Einordnung |
Master-Studiengang Informatik und AF Software Systems Engineering 2. Semester |
| Inhalte |
- Grundkonzepte von Safety
- Verifikation von Safety-Eigenschaften
- Angriffsziele, Angriffsszenarien
- Verschlüsselungsarten und -protokolle
- Verifikation von Protokollen
- Formale Modellierungen von Safety-Eigenschaften
- Grundkonzepte von Security
- Sicherheitsprimitive
- Authentifizierungs- und Signaturprotokolle
|
| 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
|
