Aktuelles

Allgemeines

Form der Lehrveranstaltung: V2+Ü1
Vortragender: Prof. Dr. Stefan Katzenbeisser
Zeit: Dienstag, 8.00-9.40
Raum: S202|C205 (Piloty-Gebäude)
Beginn: 18. Oktober 2011

Klausur

Klausurtermin: Dienstag, den 13.03.2012, 14:00 - 16:00 Uhr.

Zugelassene Hilfsmittel: Zur Klausur ist lediglich ein nicht-programmierbarer Taschenrechner zugelassen. Keine weiteren Hilfsmittel (auch keine Formelsammlungen oder ähnliches). Studierende, deren Muttersprache nicht Deutsch ist, können zusätzlich ein zweisprachiges Wörterbuch verwenden. Alle Hilfsmittel werden von der Klausuraufsicht überprüft. Denken Sie bitte auch daran Ihren Studienausweis und einen Lichtbildausweis mitzubringen.

Klausurergebnisse: Die Klausurergebnisse hängen jetzt (29.03.2012, seit 11:00 Uhr) am schwarzen Brett des Fachgebiets im Keller des Piloty-Gebäudes, B-Trakt, aus.

Räume und Zuteilung: Die Klausur wird in den folgenden Räumen stattfinden: S3|11/08, S3|06/051, S1|01/A03, S3|11/0012 und S1|01/A1. Für Klausurteilnehmer gilt hierbei die folgende Zuteilung:

• A - E (Anfangsbuchstabe des Nachnamens): S3|11/08.
• F - I  (Anfangsbuchstabe des Nachnamens): S3|06/051.
• J - K (Anfangsbuchstabe des Nachnamens): S1|01/A03.
• L - M (Anfangsbuchstabe des Nachnamens): S3|11/0012.
• N - Z (Anfangsbuchstabe des Nachnamens): S1|01/A1.

Bitte finden Sie sich in den entsprechenden Räumen frühzeitig ein.

Inhalte der Vorlesung

• Wesentliche Konzepte, Methoden und Modelle für sichere und zuverlässige IT-Systeme
• Grundlagen der Kryptographie (symmetrische und asymmetrische Verschlüsselung, digitale Signaturen, Schlüsselmanagement)
• Grundlagen der IT-Sicherheit (Authentifikation, Zugriffskontrolle, Sicherheit in Netzen, Trusted Computing)
• Grundlagen zuverlässiger IT-Systeme (Fehlertoleranz, Testen, Verifikation)

Folien: Einführung, Mathematische Grundlagen, Symmetrische Kryptographie, Asymmetrische Kryptographie, Digitale Signaturen, Schlüsseltauschprotokolle, Authentifikation, Zugriffskontrolle, Netzwerksicherheit, Zuverlässige Systeme, Testen von Software, Model Checking

Hausübung

• Die Ergebnisse der Hausübungen hängen seit Dienstag, den 7. Februar 2012, 8 Uhr, am schwarzen Brett des Fachgebiets im Keller des Piloty-Gebäudes, B-Trakt, aus.
• Die Einsicht der Hausübungen findet am Montag, den 13. Februar 2012, von 9-12 Uhr, in Raum 3.1.01 (CASED-Gebäude, Mornewegstr. 30, 3. Stock) nach folgender Verteilung statt:
  • Nachnamen beginnend mit A - G: 9-10 Uhr
  • Nachnamen beginnend mit H - N: 10-11 Uhr
  • Nachnamen beginnend mit O - Z: 11-12 Uhr

Hausübung: Hausübung

Die Hausübung ist spätestens bis zum 17.01.12, 12 Uhr, abzugeben. Dies kann über das Sekretariat der FG Security Engineering (Raum 4.3.23, CASED-Gebäude, Mornewegstr. 32), über Prof. Katzenbeisser oder über die Tutoren passieren.

Wichtig: Bitte füllen Sie die Titelseite der Hausübung aus und benutzen Sie diese als Deckblatt Ihrer Abgabe!

Übungen

Verantwortlich für die Übungen ist Andreas Peter. Insgesamt gibt es 5 Übungsgruppenleiter (Tutoren): Nabil Alkeilani Alkadri, Steven Arzt, Rolf Egert, Christian Feier und Nicola Fujara. Diese werden die folgenden 11 Übungstermine übernehmen:

• Montag, 11:40 - 12:25 (Raum S202|C110) (T: N. Fujara)
• Montag, 11:40 - 12:25 (Raum S103|113) (T: S. Arzt)
• Montag, 12:35 - 13:20 (Raum S202|C110) (T: N. Fujara)
• Montag, 13:30 - 14:15 (Raum S202|C120) (T: N. Alkeilani Alkadri)
• Mittwoch, 12:35 - 13:20 (Raum S306|053) (T: R. Egert)
• Mittwoch, 13:30 - 14:15 (Raum S103|175) (T: R. Egert)
• Mittwoch, 13:30 - 14:15 (Raum S103|121) (T: N. Alkeilani Alkadri)
• Donnerstag, 13:30 - 14:15 (Raum S202|C120) (T: N. Alkeilani Alkadri)
• Freitag, 09:50 - 10:35 (Raum S103|109) (T: S. Arzt)
• Freitag, 13:30 - 14:15 (Raum S202|C110) (T: C. Feier)
• Freitag, 14:25 - 15:10 (Raum S202|C110) (T: C. Feier)

Die Übungen beginnen erst in der dritten Woche (d.h. am Montag, den 31.10.11)

Die Zuteilung der Teilnehmer fand über WebReg statt: WebReg

Übungsblätter: 1. Übung, 2. Übung, 3. Übung, 4. Übung, 5. Übung, 6. Übung, 7. Übung, 8. Übung, 9. Übung, 10. Übung, 11. Übung

Sprechstunden: Es werden insgesamt 5 Sprechstunden pro Woche angeboten (beginnend ab dem 14. November):

• Montag, 13:00 - 14:00 Uhr, C-Pool Raum, C005 (Christian Feier)
• Dienstag, 15:00 - 16:00 Uhr, S2|02 Raum A126 (und S2|02 E102 am 10.01.11) (Steven Arzt)
• Mittwoch, 11:00 - 12:00 Uhr, S2|02 Raum A126 (und S2|02 E102 nur 11:00-11:30 am 23.11.11) (Rolf Egert)
• Donnerstag, 14:30 - 16:30 Uhr, C-Pool Raum C005 (Nabil Alkeilani Alkadri)
• Freitag, 13:00 - 14:00 Uhr, S2|15 Raum 345 (Nicola Fujara)

Literaturhinweise

Ausgewählte Kapitel aus den folgenden Standardwerken:

• C. Eckert, IT-Sicherheit, Oldenbourg-Verlag, 2007
• M. Goodrich, R. Tamassia, Introduction to Computer Security, Pearson, 2011
• M. Bishop, Computer Security, Addison Wesley, 2003
• J. Buchmann, Einführung in die Kryptographie, Springer Verlag, 2003
• D. Pradhan: Fault Tolerant Computer System Design, Prentice Hall, 1996
• E. Clarke, O. Grumberg, A. Peled, Symbolic Model Checking, MIT Press, 1999