Lehrangebot im Wintersemester 2016/2017
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
Beginn: Dienstag, 11. Oktober 2016
Vorlesung: dienstags, 11:30 - 13:00 Uhr, Hauptgebäude, Raum HG 2.44
Übung: dienstags, 15:30 - 17:00 Uhr, Hauptgebäude, Raum HG 2.45
Voraussetzungen
Inhaltlich werden die Grundlagen der Softwaretechnik vorausgesetzt. Mathematische Grundlagen der Informatik, z.B. Logik, Diskrete Mathematik (Algebra, Zahlentheorie) und Wahrscheinlichkeitstheorie sind wünschenswert