Wintersemester 23/24
Vorlesung
Secure Software Systems (Sichere Software Systeme)
- Dozent:
- Prof. Dr.-Ing. Lucas Vincenzo Davi
- Ansprechpartner:
- Semester:
- Wintersemester 2023/2024
- Termin:
- Do, 12 - 14 Uhr
- Raum:
- S-E 407
- Beginn:
- 12.10.2023
- Ende:
- 02.02.2024
- Sprache:
- deutsch/englisch
- Moodle:
- Veranstaltung in Moodle
- LSF:
- Veranstaltung im LSF
Beschreibung:
In dieser Vorlesung erhalten die Studierenden einen Überblick über aktuelle Forschung, Angriffstechniken und Abwehrmethoden im Bereich der Software- und Systemsicherheit. Es werden Sicherheitsprobleme und Schutztechnologien auf Applikations- und Betriebssystemebene für unterschiedliche Rechnerarchitekturen (Desktop PCs, mobile und eingebettete Systeme) analysiert. Ein besonderer Fokus dieser Vorlesung ist die Verwundbarkeit von Softwaresystemen gegenüber Laufzeitangriffen (Exploits). Ziel der Vorlesung ist sowohl das Verständnis von modernen, praktischen Angriffstechniken gegen Softwaresysteme als auch die Entwicklung und Anwendung von Sicherheitstechnologien für Softwaresysteme. Die Vorlesung umfasst folgende Themenschwerpunkte:
- Konventionelle und fortgeschrittene Software Exploittechniken (Buffer Overflow, Return-Oriented Programming)
- Entwicklung von Sicherheitstechnologien zur Detektion und Prävention von Software Exploits (Programmfluss-Integrität, Speicherrandomisierung)
- Software Fault Isolation und Application Sandboxing
- Betriebssystemsicherheit und Zugriffsmodelle mit praktischen Beispielen anhand von Sicherheitsarchitekturen in Multics, Android und Windows
- Trusted Computing Konzepte
- Hardware-basierte Konzepte zur Unterstützung von Softwaresicherheit
Qualifikationsziele:
Die Studierenden kennen die wichtigsten Klassen von Angriffstechniken und Abwehrmethoden im Bereich der Softwaresicherheit von der Applikationsebene bis zum Betriebssystem. Sie besitzen fundierte Kenntnisse in der Entwicklung von Angriffstechniken auf Softwaresystemen und sind in der Lage konkrete Verfahren zur Härtung von Softwaresystemen gegen fortgeschrittene Softwareangriffe anzuwenden. Sie kennen hardware-basierte Verfahren zur Durchsetzung von Softwaresicherheit und kennen die aktuelle Forschung und Problemstellungen bezüglich der Entwicklung von sicheren Softwaresystemen. Zusätzlich beherrschen sie die Konzepte von Softwarebasierten Angriffstechniken und Abwehrmethoden für verschiedenen Rechnerplattformen.
Literatur:
- W. Stallings, L. Brown: Computer Security: Principles and Practice, Prentice Hall, 2014
- M. Bishop: Computer Security: Art and Science, Pearson Education, 2015
- T. Jaeger: Operating System Security, Morgan & Claypool, 2008
- C. Anley, J. Heasman, F. Lindner, G. Richarte: The Shellcoder's Handbook: Discovering and Exploiting Security Holes, Wiley, 2007
- L. Davi: Building Secure Defenses Against Code-Reuse Attacks, Springer, 2015
- R. Anderson. Security Engineering: A Guide to Building Dependable Distributed Systems, Wiley, 2008
- Aktuelle wissenschaftliche Publikationen von einschlägigen Sicherheitstagungen (werden in der Vorlesung bekannt gegeben)
Prüfungsart:
mündlich