Lehrangebot im Wintersemester 2013/2014
Softwaresicherheit
Inhalt
Security-Engineering: Spezifikation, Analyse und Verifikation von Sicherheitseigenschaften, Schutzziele und Schutzmechanismen, Bedrohungsanalysen, IT-Sicherheitsstandards, formale Modelle von Sicherheit, kryptographische Grundlagen und Algorithmen, Beschreibung und Analyse sicherer Kommunikationsprotokolle, aktuelle softwaretechnische Herausforderungen
Art und Form
4 SWS / 6 LP Integrierte Veranstaltung (IV), Mastermodul Softwaresicherheit
Zeit und Ort
Dienstag 9.15 - 10.45 Uhr, HG 1.21, Dienstag 11.30 - 13.00 Uhr, HG 1.21, Beginn: Dienstag, 8. Oktober 2013
Voraussetzungen
Inhaltlich werden die Grundlagen der Softwaretechnik vorausgesetzt. Mathematische Grundlagen der Informatik, z.B. Logik, Diskrete Mathematik (Algebra, Zahlentheorie) und Wahrscheinlichkeitstheorie sind wünschenswert