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

Operating System Security

Semester
ModulnummerINF-IBR-07
StudiengangMaster Informatik
IBR GruppeDS (Prof. Kapitza)
ArtVorlesung/Übung
Dozent
PhotoProf. Dr. Rüdiger Kapitza
Abteilungsleiter

+49 531 3913294
Raum 135
Assistent
PhotoMohammad Mahhouk
Wissenschaftlicher Mitarbeiter

+49 531 3913245
Raum 133
Hiwi
PhotoLennart Almstedt
Hiwi

LP5
SWS2+2
Ort & Zeit

Due to Corona virus and the current circumstances, the lecture and
the lab tutorial in the winter semester 20/21 will be held online!
The time slots of the lecture, exercise and lab tutorial stay the same. The registration to this course is done on this website as usual.

Lecture (weekly): Mondays, 13:15 - 14:45, Raum 161, BBB
Exercise lecture (Tafelübung, irregular): Wednesdays, 15:00 - 16:30, Raum 161, BBB
Rechnerübungen (weekly):
- Tuesdays, 13:15 - 14:45 (Mattermost, BBB)
- Fridays, 15:00 - 16:30 (Mattermost, BBB)
Exceptions:
- Exercise lecture is irregular, please see the calender below for the dates
- There will be no lecture on 07.12.2020, 21.12.2020-10.01.2021
- On 11.01.2021 and 13.01.2021 the lecture and the exercise slots will be switched
- Due to unexpected time conflicts there will be no lecture on 13.01.2021

Lecture and exercise details

Please login in order to see more details!

Please share the given links only with people that are also attending or registered to this course!
The lecture and the exercise are based on the following tools:

Lecture and exercise

The lecture and exercise will take place at the aforementioned timeslots in the IBR's BBB instance.

The BBB's link to the lecture/exercise: Bitte einloggen, um mehr Information zu erhalten.

Homework submission

The homework control will also take place online in a separate BBB instance:

Homework control BBB link: Bitte einloggen, um mehr Information zu erhalten.

Lab tutorial

The optional lab tutorial will take place in the above mentioned timeslots also in BBB. There will be a Mattermost channel where students as well as HiWis are gathered. You can freely use this channel to communicate with your colleagues and also ask your question related to this course and the homework.
In the tutorial timeslot, you can inform the HiWi to switch to BBB instance (same link as the Homework control BBB instance) in case you want to share the screen to explain a specific issue with the homework.

Hinweis: Discord or any propietary communication programs are not allowed to be used for Homework control

Oral Exam

The dates for the exam will be announced soon. For registration, please contact the secretary Antje Lemke.

Beginn The first lecture starts on wednesday 28.10.2020 in the exercise time slot. Otherwise, as regular on mondays.
The first exercise lecture starts on wednesday 04.11.2020.
The first lab (Rechnerübungen) starts on 06.11.2020.
Hörerkreis Students of computer science
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 entweder einen IBR-POSIX-Account, den Sie vielleicht bereits im Rahmen einer Arbeit am Institut erhalten haben, oder einen selbst aktivierten IBR-y-Account. Anschließend melden Sie sich über die Login-Funktion dieser Website an.
[ Podcast | Podcast aller Formate | Newsfeed aller Formate ]
KapitelFolienBBBÜbungen
1. Introduction and Overview
pdfpdfpdf
2. Threats and Security Principles
pdfpdfpdf
bbb
3. Multics
pdfpdfpdf
bbb
4. LSM
pdfpdfpdf
bbb
5. Integrity
pdfpdfpdf
bbb
6. SELinux
pdfpdfpdf
bbb
bbb
7. SGX
pdfpdfpdf
bbb
bbb
8. Security Kernels
pdfpdfpdf
bbb
9. VMM
pdfpdfpdf
bbb

Material zur Übung

Diese Unterlagen sind nur für registrierte Teilnehmer zugänglich. Um sich zu registrieren, benötigen Sie entweder einen IBR-POSIX-Account, den Sie vielleicht bereits im Rahmen einer Arbeit am Institut erhalten haben, oder einen selbst aktivierten IBR-y-Account. Anschließend melden Sie sich über die Login-Funktion dieser Website 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
3. SGX
pdfpdfpdf
exercise
Paper Analysis 05
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 Mohammad oder Rüdiger.

Termine
[ Kalender abonnieren | Kalender herunterladen ]
DatumBeschreibung
28.10.2020, 15:00 UhrLecture (in exercise lecture time slot) (BBB)
02.11.2020, 13:15 UhrLecture (BBB)
04.11.2020, 15:00 UhrExercise lecture (BBB)
09.11.2020, 13:15 UhrLecture (BBB)
16.11.2020, 13:15 UhrLecture (BBB)
23.11.2020, 13:15 UhrLecture (BBB)
30.11.2020, 13:15 UhrLecture (BBB)
01.12.2020, 13:15 UhrPresentations first exercise (BBB)
02.12.2020, 15:00 UhrExercise lecture (BBB)
04.12.2020, 15:00 UhrPresentations first exercise (BBB)
14.12.2020, 13:15 UhrLecture (BBB)
11.01.2021, 13:15 UhrExercise lecture (BBB)
12.01.2021, 13:15 UhrPresentations second exercise (BBB)
13.01.2021, 15:00 UhrLecture (canceled) (BBB)
15.01.2021, 15:00 UhrPresentations second exercise (BBB)
18.01.2021, 13:15 UhrLecture (BBB)
25.01.2021, 13:15 UhrLecture (BBB)
01.02.2021, 13:15 UhrLecture (BBB)
08.02.2021, 13:15 UhrLecture (BBB)
09.02.2021, 13:15 UhrPresentations third exercise (BBB)
12.02.2021, 15:00 UhrPresentations third exercise (BBB)
Literatur/Links Auf Dokumente der ACM Digital Library (http://dl.acm.org/) kann nur aus dem Netz der TU Braunschweig zugegriffen werden.

aktualisiert am 12.01.2021, 17:30 (dynamischer Inhalt) von Prof. Dr. Rüdiger Kapitza
printemailtop