Veranstaltungen
Vorlesung mit integrierter ÜbungFormale Aspekte der Software-Sicherheit und Kryptographie | |||
---|---|---|---|
Name im Diploma Supplement | Formal Aspects of Software Security and Cryptography | ||
Anbieter | Fachgebiet Theoretische Informatik (http://www.ti.inf.uni-due.de/) | ||
Lehrperson | Prof. Dr. Barbara König | ||
SWS | 4 | Sprache | deutsch |
Turnus | unregelmäßig | maximale Hörerschaft | unbeschränkt |
empfohlenes Vorwissenkeines AbstractIm Bereich der Software-Sicherheit und Kryptographie ist es wichtig, theoretische Grundlagen zu besitzen, aufgrund derer die Sicherheit von Verfahren und Protokollen bewertet werden kann. Im Rahmen dieser Vorlesung werden sowohl komplexitätstheoretische als auch semantische Grundlagen zu diesem Gebiet vermittelt. Lehrinhalte
Literaturangaben
didaktisches KonzeptDie Veranstaltung entspricht einem Vorlesungsanteil von 3 SWS und einem Übungsanteil von 1 SWS. Hörerschaft
| |||
WIWI‑C1245 - Vorlesung mit integrierter Übung: Formale Aspekte der Software-Sicherheit und Kryptographie |