Aktuelles

Klausureinsicht (Nachklausur): Die Klausureinsicht zur Nachklausur wird am Montag, den 25.10.2010, zwischen 15:30 Uhr und 16:30 Uhr, in Raum 4.2.02.1 (Mornewegstr. 30, CASED-Gebäude) stattfinden.

Klausurergebnisse (Nachklausur): Die Klausurergebnisse der Nachklausur werden ab heute, dem 18.10.2010, nach 17:00 Uhr am schwarzen Brett des Fachgebiets im Keller des Piloty-Gebäudes, B-Trakt, aushängen.

Allgemeines

Form der Lehrveranstaltung: V2+Ü1

Vortragender: Prof. Dr. Stefan Katzenbeisser

Zeit: Dienstag, 8:55 - 10:35 im Raum S202|C205. Die Vorlesung beginnt am 13.10.

Klausur

Klausureinsicht (Nachklausur): Die Klausureinsicht zur Nachklausur wird am Montag, den 25.10.2010, zwischen 15:30 Uhr und 16:30 Uhr, in Raum 4.2.02.1 (Mornewegstr. 30, CASED-Gebäude) stattfinden.

Klausurergebnisse (Nachklausur): Die Klausurergebnisse der Nachklausur werden ab heute, dem 18.10.2010, nach 17:00 Uhr am schwarzen Brett des Fachgebiets im Keller des Piloty-Gebäudes, B-Trakt, aushängen.

Nachklausur: Die Nachklausur findet am 16.09.10 von 14-16 Uhr im Audimax (A1) statt.

Klausurergebnisse: Die Klausurergebnisse werden ab heute, dem 23.03.2010, nach 17:30 Uhr am schwarzen Brett des Fachgebiets im Keller des Piloty-Gebäudes, B-Trakt, aushängen.

Klausureinsicht: Die Klausureinsicht wird am Dienstag, dem 20.04.2010, von 15-17 Uhr in der Mornewegstr. 32, 4. Stock, Raum 4.3.01 stattfinden.

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

  • A - G (Anfangsbuchstabe des Nachnamens): S3|11/08.
  • H - L (Anfangsbuchstabe des Nachnamens): S2|06/030.
  • M - Z (Anfangsbuchstabe des Nachnamens): S1|01/A1.

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

Klausuranmeldung: Die Klausuranmeldung erfolgt über das Webreg und ist unter folgender URL zu finden:

 https://www.dekanat.informatik.tu-darmstadt.de/webreg/index.php?page=login&lva=20.0018.1&semester=09W

Klausurtermin: Dienstag, 16.03.2010, 14:00 - 16:00 Uhr.

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, Zugriffskontrolle, Authentifikation, Sicherheit in Netzwerken, Zuverlässige Systeme, Zuverlässige verteilte Systeme, Testen von Software, Verifikation - Model Checking

Hausübung

Die Ergebnisse der Hausübung hängen seit dem 25.01.10, 18 Uhr am schwarzen Brett des Fachgebiets im Keller des Piloty-Gebäudes, B-Trakt, aus.

Hausübung: Hausübung

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

Übungen

Verantwortlich für die Übungen ist Andreas Peter. Insgesamt gibt es 4 Übungsgruppenleiter (Tutoren): Christian Feier, Christian Kirschner, Johannes Reichard und Marius Senftleben. Diese werden die folgenden 10 Übungstermine übernehmen:

  • Montag, 13:30 - 14:15 (Raum S202|C110) (T: C. Feier)
  • Montag, 13:30 - 14:15 (Raum S103|121) (T: M. Senftleben)
  • Mittwoch, 12:35 - 13:20 (Raum S313|348) (T: C. Kirschner)
  • Mittwoch, 13:30 - 14:15 (Raum S313|56) (T: C. Kirschner)
  • Mittwoch, 13:30 - 14:15 (Raum S103|121) (T: C. Feier)
  • Donnerstag, 13:30 - 14:15 (Raum S202|C120) (T: C. Feier)
  • Donnerstag, 13:30 - 14:15 (Raum S103|175) (T: M. Senftleben)
  • Donnerstag, 13:30 - 14:15 (Raum S103|113) (T: C. Kirschner)
  • Freitag, 13:30 - 14:15 (Raum S202|C120) (T: J. Reichard)
  • Freitag, 14:25 - 15:20 (Raum S202|C120) (T: J. Reichard)

Übungsblätter: 1. Übung (Musterlösung zu 2.2 & 2.3), 2. Übung (Musterlösung zu 1.3), 3. Übung, 4. Übung, 5. Übung, 6. Übung, 7. Übung (Musterlösung), 8. Übung, 9. Übung, 10. Übung, 11. Übung, 12. Übung

Sprechstunden: Es werden insgesamt 4 Sprechstunden pro Woche angeboten:

Klicken Sie auf einen der Termine um eine Raum-Übersicht zu erhalten.

Literaturhinweise

Ausgewählte Kapitel aus den folgenden Standardwerken:

  • C. Eckert, IT-Sicherheit, Oldenbourg-Verlag, 2007
  • 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

zum Seitenanfangzum Seitenanfang

A A A | Drucken Print | Impressum Impressum | Kontakt Contact | Last edited: 9 months ago