TU BRAUNSCHWEIG
| Carl-Friedrich-Gauß-Fakultät | Department Informatik
Informatikzentrum

Operating System Security

Semester
Wintersemester 2019/2020
Wintersemester 2020/2021Wintersemester 2018/2019
ModulnummerINF-IBR-07
StudiengangMaster Informatik
IBR GruppeDS (Prof. Kapitza)
ArtVorlesung/Übung
Dozent
PhotoProf. Dr. Rüdiger Kapitza
Abteilungsleiter
rrkapitz[[at]]ibr.cs.tu-bs.de
+49 531 3913294
Raum 135
Assistent
PhotoNico Weichbrodt
Externer Doktorand
weichbrodt[[at]]ibr.cs.tu-bs.de
+49 531 3913265
Raum 116
Hiwi
PhotoMohammad Mahhouk
Wissenschaftlicher Mitarbeiter
mahhouk[[at]]ibr.cs.tu-bs.de
+49 531 3913245
Raum 133
LP5
SWS2+2
Ort & ZeitLecture (weekly): Mondays, 13:15 - 14:45, Raum 161
Exercise lecture (Tafelübung, irregular): Wednesdays, 15:00 - 16:30, Raum 161
Rechnerübungen (weekly):
- Tuesdays, 13:15 - 14:45 (room IZ-G40)
- Fridays, 15:00 - 16:30 (room IZ-G40)
Exceptions:
- Exercise lecture is irregular, please see the calender below for the dates
Beginn The lecture starts on Monday, 2019-11-04.
The exercise lecture starts on Wednesday, 2019-10-30.
The lab (Rechnerübungen) starts on Tuesday, 2019-11-05.
Hörerkreis Studenten der Informatik
Voraussetzungen
keine
Scheinerwerb
Erfolgreiche Teilnahme an der mündlichen Prüfung sowie die erfolgreiche Bearbeitung der Übungsaufgaben.
Anmeldung
Die Anmeldefrist ist abgelaufen.
Bitte einloggen, um als Mitglied der Gruppe mitarb mehr Information zu erhalten.
Inhalt

Material zur Vorlesung

Diese Unterlagen sind nur für registrierte Teilnehmer zugänglich. Um sich zu registrieren, benötigen Sie einen Account: entweder einen IBR-Account, den Sie vielleicht im Rahmen einer Arbeit am Institut bereits erhalten haben, oder einen selbst aktivierten IBR-y-Account. Anschließend melden Sie sich über die Login-Funktion (oben auf dieser Seite) an.
[ Podcast | Podcast aller Formate | Newsfeed aller Formate ]
KapitelFolienÜbungen
1. Introduction and Overview
pdfpdfpdf
2. Threats and Security Principles
pdfpdfpdf
3. Multics
pdfpdfpdf
4. LSM
pdfpdfpdf
4. Integrity
pdfpdfpdf
6. SELinux
pdfpdfpdf
7. SGX
pdfpdfpdf
8. Security Kernels
pdfpdfpdf
9. VMM
pdfpdfpdf
10. AMDs Virtualization Memory Encryption Technology
pdfpdfpdf

Material zur Übung

Diese Unterlagen sind nur für registrierte Teilnehmer zugänglich. Um sich zu registrieren, benötigen Sie einen Account: entweder einen IBR-Account, den Sie vielleicht im Rahmen einer Arbeit am Institut bereits erhalten haben, oder einen selbst aktivierten IBR-y-Account. Anschließend melden Sie sich über die Login-Funktion (oben auf dieser Seite) an.
[ Podcast | Podcast aller Formate | Newsfeed aller Formate ]
KapitelFolienÜbungen
Paper Analysis 01
exercise
1. Organisation and Intro to Namespaces
pdfpdfpdf
pdfpdfpdf
exercise
Paper Analysis 02
exercise
Paper Analysis 03
exercise
2. Securing Containers
pdfpdfpdf
exercise
Paper Analysis 04
exercise
Paper Analysis 05
exercise
3. SGX
pdfpdfpdf
exercise
Paper Analysis 06
exercise

Lecture

  • Operating system security mechanisms: protection and access control
  • Virtualization and container mechanisms
  • Micro kernel architecture
  • Trusted computing
  • Secure co-processors (i.e. trusted platform module (TPM))
  • Modal execution (i.e. ARM TrustZone)
  • Trusted execution on commodity platforms (i.e. SGX and SEV)

Based on the Book Operating System Security by Trent Jaeger.

Übung

Bei Fragen zu den Übungen kontaktiert bitte Nico oder Rüdiger.

Termine
[ Kalender abonnieren | Kalender herunterladen ]
DatumBeschreibung
30.10.2019, 15:00 UhrExercise lecture (IZ Raum 161)
04.11.2019, 13:15 UhrLecture (IZ Raum 161)
11.11.2019, 13:15 UhrLecture (IZ Raum 161)
18.11.2019, 13:15 UhrLecture (IZ Raum 161)
25.11.2019, 13:15 UhrLecture (IZ Raum 161)
26.11.2019, 13:15 UhrPresentations first exercise (IZ Raum G40)
27.11.2019, 15:00 UhrExercise lecture (IZ Raum 161)
29.11.2019, 15:00 UhrPresentations first exercise (IZ Raum G40)
02.12.2019, 13:15 UhrLecture (IZ Raum 161)
09.12.2019, 13:15 UhrLecture (IZ Raum 161)
16.12.2019, 13:15 UhrNo Lecture, cancelled (IZ Raum 161)
17.12.2019, 13:15 UhrPresentations second exercise (IZ Raum G40)
20.12.2019, 15:00 UhrPresentations second exercise (IZ Raum G40)
06.01.2020, 13:15 UhrLecture (IZ Raum 161)
13.01.2020, 13:15 UhrLecture (IZ Raum 161)
15.01.2020, 15:00 UhrExercise lecture (IZ Raum 161)
20.01.2020, 13:15 UhrLecture (IZ Raum 161)
27.01.2020, 13:15 UhrLecture (IZ Raum 161)
03.02.2020, 13:15 UhrLecture (IZ Raum 161)
04.02.2020, 13:15 UhrPresentations third exercise (IZ Raum G40)
07.02.2020, 15:00 UhrPresentations third exercise (IZ Raum G40)
Literatur/Links Auf Dokumente der ACM Digital Library (http://dl.acm.org/) kann nur aus dem Netz der TU Braunschweig zugegriffen werden.
aktualisiert am 19.04.2020, 10:30 (dynamischer Inhalt) von Nico Weichbrodt
printemailtop