Die Vorlesung gibt eine Einführung in grundlegende Verfahren und Methoden der Computersicherheit. Unter anderem werden Modelle und Verfahren zur Zugriffskontrolle (access control) sowie die Evaluierung und Zertifizierung von rechnergestützten Systemen thematisiert. Neben theoretischen Konzepten sollen auch konkrete Fallbeispiele für Sicherheitsmechanismen, etwa anhand von Betriebssystemen aus der UNIX- und Windows-Familie, vorgestellt werden.
Die Vorlesung wendet sich an Studierende der Informatik im Hauptdiplom und ist im Umfang von 2 SWS prüfbar. Vorkenntnisse aus Kryptographie-Vorlesungen wie etwa Signale, Codes und Chiffren II oder Public Key Kryptographie sind hilfreich, werden aber nicht vorausgesetzt: Schwerpunkt der Vorlesung sind Sicherheitskonzepte und -werkzeuge, die ergänzend zu kryptographischen Mechanismen Verwendung finden.
Außerdem gibt es eine Rohfassung eines Skripts von Christian Henrich zur Vorlesung, dieses wurde durch eine etwas überarbeite Version in der Vorlesung im SS2006 ersetzt.
U.a. wird für die Vorlesung folgende Literatur empfohlen:
Mittwochs, 9:45 Uhr, Seminarraum 301, Neubau Informatik (Geb. 50.34)
Aushang Ankündigung: PDF