Seminar Sicherheitsmodellierung

In diesem Seminar wollen wir verschiedene Methoden zur Modellierung von Sicherheitseigenschaften von IT-Systemen kennenlernen. Die Teilnehmerinnen und Teilnehmer werden jeweils eine Modellierungsmethode vorstellen. Dabei soll der 45–60 minütige Vortrag aus zwei Teilen bestehen. Im ersten Teil wird die Modellierungsmethode vorgestellt. Im zweiten Teil wird eine aktuelle wissenschaftliche Arbeit vorgestellt, die sich mit der Modellierungsmethode beschäftigt.

In Ergänzung zu dem Seminarvortrag ist eine schriftliche Ausarbeitung zu erstellen. Seminarvortrag und Ausarbeitung können auf Deutsch oder Englisch erstellt bzw. gehalten werden. Die Seminarausarbeitungen werden auf dieser Website veröffentlicht. Mit der Annahme eines Themas stimmen Sie der Veröffentlichung zu.

Die Seminarausarbeitung muss bis zum Ende der Vorlesungszeit vorliegen. In Form und Umfang orientieren Sie sich bitte an den üblichen Anforderungen für Seminararbeiten. Die Suche geeigneter Literatur ist Teil der Seminaraufgabe. Hinweise zur Literaturrecherche werden in der Vorbesprechung gegeben.

Hinweis: Die verlinkten Artikel geben einen ersten Einblick in die Themen. Sie sind nicht notwendigerweise als Grundlage Ihres Seminarvortrags geeignet.

Methodologien

Diese Themen sind für Bachelor-Studentinnen und -studenten geeignet.

Formale Methoden

Diese Themen sind für Master-Studentinnen und -studenten geeignet.