Vorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen

Transkript

1 Vorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen Prof. Barbara König Übungsleitung: Sebastian Küpper Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 1

2 Das heutige Programm: Organisatorisches Vorstellung Ablauf der Vorlesung und der Übungen Einordnung & Prüfung Literatur & Folien Einführung und Motivation: Formale Aspekte der Software-Sicherheit und Kryptographie Inhalt der Vorlesung Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 2

3 Vorstellung Dozentin: Prof. Barbara König Raum LF barbara Sprechstunde nach Vereinbarung Übungsleitung: Sebastian Küpper, M.Sc. Raum LF Web-Seite: Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 3

4 Vorlesungstermine Termine: Montag, 10:15-11:45, Raum LE 120 Donnerstag, 12:15-13:45, Raum LE 120 Die Übung findet an dem Termin Mo, 10-12, in (normalerweise) zweiwöchigem Rhythmus im Wechsel mit der Vorlesung statt. Die erste Übung findet am statt. Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 4

5 Übung und Hausaufgaben Das Übungsblatt wird spätestens am Montag in der Vorwoche der Übung auf der Webseite bereitgestellt. Verteilt über das Semester gibt es drei Testat-Blätter. Die Lösungen zu den Testatblättern werden in der darauffolgenden Woche direkt in der Übung abgegeben. Die anderen Blätter werden nicht korrigiert, aber natürlich in der Übung besprochen. Es gibt eine Bonusregelung: der Bonus (eine Notenstufe besser in der Prüfung, z.b. 1,7 statt 2,0) wird erzielt, wenn 50 % der Testat-Punkte erzielt, alle Testat-Blätter bearbeitet wurden und mindestens einmal eine Aufgabe an der Tafel vorgerechnet wurde. Gruppenabgabe ist nicht erlaubt. Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 5

6 Einordnung Diese Vorlesung ist folgendermaßen eingeordnet... MAI Informatik für den Anwendungsbereich Katalog Verteilte, Verlässliche Systeme Stundenzahl: 4 SWS (3V + 1Ü), 6 Credits Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 6

7 Einordnung Voraussetzungen Für diese Veranstaltung sollten Sie vorher möglichst die folgenden Vorlesungen gehört haben: Berechenbarkeit und Komplexität Wahrscheinlichkeitstheorie und Stochastik Logik oder äquivalente Veranstaltungen. Das wird keine Komplexitätstheorie-Veranstaltung, aber wir benötigen einige Grundlagen aus der Komplexitätstheorie. Gleiches gilt für die Wahrscheinlichkeitstheorie und Logik. Die Grundlagen werden auch noch einmal kurz wiederholt. Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 7

8 Prüfung Diese Vorlesung wird mündlich geprüft. Der Prüfungstermin ist voraussichtlich der 24./25. August. Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 8

9 Literatur John Talbot, Dominic Welsh: Complexity and Cryptography An Introduction. Cambridge, Christos H. Papadimitriou: Computational Complexity. Addison Wesley, Oded Goldreich: Foundations of Cryptography (Basic Tools). Cambridge University Press, Oded Goldreich: Foundations of Cryptography (Basic Applications). Cambridge University Press, Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 9

10 Literatur William Stallings: Cryptography and Network Security: Principles and Practice. Prentice-Hall, Martín Abadi: Security Protocols: Principles and Calculi Tutorial Notes. FOSAD 2006/07 Tutorial Lectures, Springer, 2007, p Martín Abadi: Security Protocols and their Properties. 20th International Summer School on Foundations of Secure Computation, IOS Press, 2000, p Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 10

11 Literatur Bruno Blanchet: Using Horn Clauses for Analyzing Security Protocols. Formal Models and Techniques for Analyzing Security Protocols. IOS Press, BlanchetBook09.html Martín Abadi and Bruno Blanchet: Analyzing Security Protocols with Secrecy Types and Logic Programs. Journal of the ACM, 52(1): , AbadiBlanchetPOPL02.html Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 11

12 Folien Folien werden im Web bereitgestellt und regelmäßig aktualisiert. Die Folien werden sehr ähnlich zu den Folien aus dem Sommersemester 2013 sein (erhältlich über Barbara König Form. Asp. der Software-Sicherheit und Kryptographie 12