Lehrangebot im Wintersemester 2017/18
Seminar Protokollanalyse für sicherheitskritische Systeme
Inhalt
Behandlung aktueller Forschungsthemen am Fachgebiet Sichere Softwaresysteme, Techniken zur Qualitätssicherung von Sicherheitsprotokollen, Verifikationsverfahren zum Nachweis von Security-Eigenschaften
Schwerpunkt in diesem Semester: Aufdecken von Exploits in Sicherheitsprotokollen mit Hilfe von Model Checkern
Art und Form
2 SWS / 4 LP Seminar (SE), Mastermodul Seminar oder Bachelormodul Proseminar
Hinweis: Diese Veranstaltung kann also als Seminar im Master oder als Proseminar im Bachelor belegt werden. Die zu vergebenen Themen werden entsprechend in Umfang und Niveau etwas variieren.
Zeit und Ort
Starttermin: Montag, 9.10.2017, 13:45 - 15:15 Uhr, Raum VG1c 2.24
Voraussetzungen
Inhaltlich werden Grundlagen der Softwaretechnik vorausgesetzt.
Lehr- und Lernportal
Verwaltung des Moduls über die Lernplattform moodle im Kurs 2647