Sicherheit und Compliance im Softwareengineering und der Industrie
Seminar (2 SWS)

Neuigkeiten und Ankündigungen

  • 06.01.2014 - Webseite erstellt.

Beschreibung

Sicherheit ist in den letzten Jahren immer mehr in den Focus der Industrie und der Forschung gerückt. Es sind viele Verfahren und Tools entstanden die Verschiedene Aspeckte der Security angehen. Darüberhinaus werdenimmer neue leitlinier erstellt, die Häufig auch Sicherheitsaspekte beinhalten. Daher ist heute die Einhaltung von Richtlinien auch eine Grundvoraussetzung für die rechtliche Absicherung in einem Schadenfall. In dem Seminar werden Forschungsansätze neben industriell genutzen Anwendungen und Verfahren vorgestellt.

Inhalt (vorläufig)

Entwicklung und Pflege vertrauenswürdiger, sicherheitskritischer Systeme sind große Herausforderungen. Es werden viele softwareintensive Systeme entworfen, realisiert und eingesetzt, die gravierende Sicherheitslücken aufweisen. Wir wissen das aus eigener Erfahrung und aus Schlagzeilen über spektakuläres Fehlverhalten von Systemen bzw. über erfolgreiche Angriffe auf sie. Die Gründe dafür sind vielfältig. Manchmal fehlt den Entwicklern das notwendige Sicherheitsbewußtsein, oft fehlen die notwendigen Kenntnisse über die Entwicklungsprozesse, -methoden, -verfahren und -werkzeuge oder sie werden nicht eingesetzt, weil man sich den vermeintlich zu großen Zeit- und Kostenaufwand beim derzeitigen Konkurrenzdruck nicht leisten zu können glaubt. Beim Engineering oder Reengineering sicherheitskritischer Softwaresysteme stellen sich u.a. folgende Fragen:
  • Welche Methoden gibt es für ein umfassendes Risikomanagement, mit denen Experten aus den Geschäftsprozessen und Arbeitsabläufen eine vollständige Analyse der Sicherheitsrisiken durchführen und Vorschläge zu ihrer angemessenen Behandlung ableiten können?
  • Welche Methoden gibt es für das Engineering bzw. Reengineering sicherheitskritischer Systeme, für die Auswahl eines geeigneten Entwicklungsprozesses und geeigneter Werkzeuge sowie zur Qualitätssicherung?
  • Welche Werkzeuge gibt es, die z.B. die Geschäftsprozessmodelle, UML-Systemspezifikationen, Software-Quelltexte und Konfigurationsdateien automatisch auf Sicherheit analysieren können?
  • Kann man z.B. mit UML oder CASE-Werkzeugen wie AutoFocus Sicherheitsanforderungen einfach und intuitiv spezifizieren? Und gibt es Werkzeuge für Simulation, Konsistenzprüfung, Codegenerierung, Verifikation und Test der Sicherheitsaspekte?
  • Sind die erstellten Modelle als Dokumentation für die Zertifizierung nach relevanten Standards brauchbar?

Die Liste der Themen finden Sie [hier].

Termine

TBD
Datum Zeit Beschreibung
16.4.14 8:30 Themenvorstellung
17.4.14 12:00 Rückmeldung
15.5.14 6:00 (a.m.!) Abgabe Gliederung
11.6.14 6:00 (a.m.!) Abgabe Vorversion Ausarbeitung
27.6.14 6:00 (a.m.!) Abgabe Reviews
14.7.14 24:00 Abgabe Ausarbeitung
18.7.14 12:00 Abgabe Folien
22/23.714 Vorträge

Vorbereitungs-Treffen

Mi, 16. April 2013, 8.30-10:00 Uhr, Otto-Hahn-Str. 14, Raum 304. Die Folien finden Sie hier.

Rückmeldung und Themenvergabe

Für die Rückmeldung nutzen Sie bitte die Rückmeldeseite.

Blockseminar

22/23.7.14 OH12 Raum 1.056
Link zum detaillierten Zeitplan mit Übersicht der Vorträge

Leistungsnachweis

Von den TeilnehmerInnen wird erwartet:

  • Ein Vortrag von ca. 35 Minuten plus Diskussion (Grenzen: 30-40 Minuten).
  • Eine schriftliche Ausarbeitung von ca. 15 Seiten im Hauptteil
  • Aktive Teilnahme an den Seminarvorträgen
  • Einhaltung der formalen Vorgaben (insbesondere pünktliche und vollständige Abgabe).
  • Weitere Informationen erhalten Sie beim ersten Treffen.

Die Note wird aus folgenen Betandteilen zusammengesetzt:

  • Vortrag (40%)
  • Schriftliche Ausarbeitung (40%)
  • Reviews (10%)
  • Disskussion nach den Vortägen (10%)
  • Einhaltung der formalen Vorgaben
    Notenverschlechterung oder Durchfallen in einer Teilleistung bei
    • Nichteinhaltung der Abgabezeiten
    • Unvollständigen Abgaben
  • Das Nichtbestehen in einem Teil der Leistungen führt automatisch zum Nichtbestehen des ganzen Seminars.
  • Plagiat im einem Teil der Leistungen führt sofort zum Nichtbestehen und wird dem Prüfungsausschuss gemeldet.
  • Die Prüfungsleistung beginnt mit der Abgabe der Gliederung.

Bei Studierenen nach den Prüfungsordnungen 2000/2001 wird die Note anschließend in ein Bestehen/Nichtbestehen umgerechnet und ein Leistungnachweis vergeben.

Vorlagen

Für ihre Ausarbeitung nutzen sie bitte unsere Vorlage (Vorlagenverzeichnis).

Einordnung

Diplom

Schwerpunkt 1, Schwerpunkt 5

Master Informatik / Angewandte Informatik

Seminar, Forschungsbereich: Software, Sicherheit und Verifikation TBD

Feedback

Wir haben großes Interesse an veranstaltungsbegleitendem Feedback, um auf Änderungswünsche gleich (und nicht erst im nächsten Semester) eingehen zu können. Bitte äußern Sie entsprechende Hinweise im Anschluss an eine Vorlesung, per email, oder auch über das anonyme Kontaktformular des Lehrstuhls (im letzteren Fall bitte die Veranstaltung erwähnen, auf die sich der Hinweis bezieht). Vielen Dank!

Kontakt

Prof. Dr. Jan Jürjens