Security Engineering

Einführung in Trusted Systems

Form der Lehrveranstaltung: V2+Ü1

Vortragender: Prof. Dr. Stefan Katzenbeisser

Zeit: Dienstag, 8.55 - 10.35 im Raum S202|C205. Die Vorlesung beginnt am 14.10.

Folien: Einführung, Mathematische Grundlagen, Symmetrische Kryptographie, Asymmetrische Kryptographie, Digitale Signaturen, Protokolle, Access Control (korrigierte Folien), Authentifikation, Sicherheit in Netzwerken, Trusted Computing, Zuverlässige Systeme, Zuverlässige Verteilte Systeme, Testen von Software

Übungen: Es werden zwei Übungsgruppen angeboten: Mittwoch, 13.30 - 14.15 (Raum S202|C110) und Donnerstag, 13.30 - 14.15 (Raum S202|C110). Die Übungen beginnen erst in der dritten Woche.

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

Hausübung: Die Angabe finden Sie hier. Die Abgabe der Hausübung ist bis 13. Januar 2009, 12.00, im Raum E119 möglich.

Achtung: Bei der RSA Implementierung müssen Sie den erweiterten Euklidischen Algorithmus implementieren!

Einsicht der Hausübung: 27. Februar 2009, 15.00 - 16.00 Uhr, Raum E102.

Nach-Klausur: Die Nach-Klausur findet am 10. September 2009 (14.00-16.00) in Raum S101/A1 statt. Bachelor- und Master-Stundenten Informatik müssen sich zentral zur Klausur anmelden, alle anderen Studenten, die sich nicht zentral anmelden müssen (z.B. Diplom Informatik), senden bitte bis spätestens zum 08.08. eine Email mit Name und Matrikelnummer als Anmeldung an Sekretariat Prof. Katzenbeisser . Zur Klausur sind (ausser einem nicht programmierbaren Taschenrechner) keine weiteren Hilfsmittel zugelassen.

Notenaushang & Klausureinsicht: Die Noten zur Nachklausur werden ab Montag, den 28. September, am schwarzen Brett des Fachgebiets im Keller des Piloty-Gebäudes, B-Trakt, aushängen. Die Klausureinsicht wird dann am Montag, dem 05. Oktober, um 16:30 Uhr im Raum S202 A126 stattfinden.

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)

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

Forschungsorientiertes Seminar: Security Hardware in Theory and Practice

Dieses Seminar ist insbesondere für Studierende im Diplomstudiengang Informatik (oder Master) geeignet, die Interesse an aktuellen kryptographischen Forschungsthemen haben. Das Seminar gliedert sich in zwei Abschnitte. Im ersten Teil werden einige aktuelle Publikationen durch die Seminarteilnehmer vorgestellt; daran anschließend wird gemeinsam ein Thema bearbeitet. Die Resultate der gemeinsamen Arbeit werden in einem Forschungsbericht festgehalten.

Thema des Seminars: Nutzung von Hardwarekomponenten (wie etwa Physically Unclonable Functions) in kryptographischen Protokollen

Teilnahmevoraussetzungen: Grundbegriffe der Kryptographie (Besuch der Vorlesung "Einführung in die Kryptographie"), physikalische Grundkenntnisse, Grundlagen der Elektrotechnik.

Platzbeschränkung, maximal 5 Teilnehmer!

Vorbesprechung: 22. Oktober, 15.00, E202

Interessenten werden gebeten, sich vorab per e-Mail an katzenbeisser (-at-) seceng.informatik.tu-darmstadt.de zu wenden.