Sommersemester 2015
Desaster in der Software-Sicherheit
| Veranstaltungstyp: | Proseminar |
|---|---|
| Zielgruppe: | Bachelor Informatik |
| Lehrstuhl: | Anwendungsorientierte Formale Verifikation; Logik und Formale Methoden |
| Dozierende: |
Prof. B. Beckert |
| SWS-Anzahl: | 2 |
| ECTS: | 3 |
| Semester: | Sommersemester 2015 |
| Raum: | Raum 301, Gebäude 50.34 |
| Termine: | 15.04.2015, 13 Uhr in
SR 131, Auftaktveranstaltung
(weitere Termine nach Vereinbarung) |
| Anmeldung: | Bei Frau Meinhart, Raum 223, simone.meinhart@kit.edu |
Thema
Spätestens nach den Enthüllungen durch Edward Snowden ist Sicherheit in Software-Systemen wieder ein großes Thema in den Medien. Trotz der üblichen Qualitätssicherungsmassnahmen in der Softwaretechnik hat es in der Vergangenheit schon vor diesen Enthüllungen Angriffe auf Software-Systeme gegeben.
Neben den üblichen Qualitätssicherungsmassnahmen wie bspw. Testen, existieren noch weitere modellbasierte und formale Methoden, die es erlauben Sicherheitslücken aufzudecken.
In diesem Proseminar werden verschiedene Angriffe auf Systeme und auch Methoden zum Aufdecken von Sicherheitslücken betrachtet.Vorträge
Weitere Informationen:Aufgabenstellung
Für jeden Vortrag sind von den Studierenden die folgenden Aufgabenpunkte zu erledigen:- Verstehen des Stoffes.
- Auswahl der Themen, die in dem Vortrag präsentiert werden sollen.
- Entscheidung wie die Themen präsentiert werden sollen.
- Erstellung der Folien für die Präsentation und gegebenfalls anderer Materialien.
- Der Vortrag selbst.