Veranstaltungsart und -inhalt
|
| Titel |
Safety und Security |
| Dozent |
Prof. Dr. Rüdiger Reischuk |
| 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 der Security
- Sicherheitsprimitive
- Authentifizierungs- und Signaturprotokolle
|
| Qualifikationsziele |
- Kenntnis der IT-Sicherheitsproblematik
- Fähigkeit zur Analyse der Safety- und Security Eigenschaften von Systemen
- Kenntnis der wichtigsten kryptographischen Verfahren
- Exemplarische Implementationserfahrung
|
| 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 |
Prof. Dr. Reischuk |
| Umfang |
2 SWS, ECTS-Credits: 4 |
| Termine |
Mo 10:00 – 12:00, ITCS Seminarraum 2021
|
Übung |
| Assistent |
Dipl.-Inf. Markus Hinkelmann |
| Umfang |
1 SWS |
| Termine |
Fr 12:00 – 13:00, ITCS Seminarraum 2021
|
