Technische Universität Ilmenau

Security Engineering - Modultafeln der TU Ilmenau

Die Modultafeln sind ein Informationsangebot zu den Studiengängen der TU Ilmenau.

Die rechtsverbindlichen Studienpläne entnehmen Sie bitte den jeweiligen Studien- und Prüfungsordnungen (Anlage Studienplan).

Alle Angaben zu geplanten Lehrveranstaltungen finden Sie im elektronischen Vorlesungsverzeichnis.

Informationen und Handreichungen zur Pflege von Modulbeschreibungen durch die Modulverantwortlichen finden Sie unter Modulpflege.

Hinweise zu fehlenden oder fehlerhaften Modulbeschreibungen senden Sie bitte direkt an modulkatalog@tu-ilmenau.de.

Modulinformationen zu Security Engineering im Studiengang Master Informatik 2009
Modulnummer1542
Prüfungsnummer2200227
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer 2255 (Verteilte Systeme und Betriebssysteme)
Modulverantwortliche(r)Prof. Dr. Winfried Kühnhauser
TurnusSommersemester
SpracheDeutsch/Englisch
Leistungspunkte4
Präsenzstudium (h)34
Selbststudium (h)86
VerpflichtungWahlmodul
Abschlussmündliche Prüfungsleistung, 20 Minuten
Details zum Abschluss

mündliche Prüfung (20 min) im Prüfungszeitraum

Alternative Abschlussform aufgrund verordneter Corona-Maßnahmen inkl. technischer Voraussetzungen
Anmeldemodalitäten für alternative PL oder SL
max. Teilnehmerzahl
Vorkenntnisse

Betriebssysteme aus dem SG Bachelor Informatik

WP-Modul „Systemsicherheit“ aus dem SG Bachelor Informatik

Lernergebnisse und erworbene Kompetenzen

Ziel dieses Kurses ist es, Kompetenz und Professionalität in der modellbasierten Entwicklung, Analyse und Implementierung der Sicherheitseigenschaften von IT-Systemen zu vermitteln. Zentrales Thema sind Methoden und Techniken des modellgetriebenen Security Engineerings: die methodische Entwicklung der Sicherheitseigenschaften von IT-Systemen auf der Grundlage von Sicherheitspolitiken und ihren formalen Modellen. Aufbauend auf den Grundlagen der im Bachelor-Modul „IT-Sicherheit“ vermittelten Kenntnisse und Kompetenzen erwerben die Studierenden vertiefte methodische und praktische Kenntnisse zur Realisierung von Sicherheitseigenschaften von IT-Systemen und erwerben die Fähigkeit, systematische Spezifikationen, Analysen und Implementierungen von Sicherheitseigenschaften vorzunehmen.

Inhalt

Im Kurs wechseln sich Vorlesungen über theoretische Grundlagen mit Trainingsphasen durch teils mehrwöchige Workshops ab; Kursthemen sind

  • Model Engineering
  • Specification Engineering
  • TCB Engineering
  • Workshop: Secure Systems Engineering
Medienformen und technische Anforderungen bei Lehr- und Abschlussleistungen in elektronischer Form

Präsentationen mit Projektor und Tafel, im Wechsel mit mehrwöchigen Workshops; Bücher und Fachaufsätze, Moodle

Link zum aktuellen Moodlekurs https://moodle2.tu-ilmenau.de/course/view.php?id=3478

 

Literatur

Frank Mayer, Karl Macmillan, David Caplan: SELinux by Example. Prentice Hall 2007, 425 Seiten.

Lehrevaluation

Pflichtevaluation:

Freiwillige Evaluation:

SS 2012 (Vorlesung)

SS 2013 (Vorlesung)

SS 2014 (Vorlesung)

SS 2015 (Vorlesung)

SS 2016 (Vorlesung)

SS 2018 (Vorlesung)

Hospitation: