Veranstaltung: Authentische Schlüsselvereinbarung: Formale Modelle und Anwendungen

Nummer:
141244
Lehrform:
Vorlesung und Übungen
Medienform:
rechnerbasierte Präsentation, Tafelanschrieb
Verantwortlicher:
Prof. Dr. Jörg Schwenk
Dozenten:
Prof. Dr. Jörg Schwenk (ETIT), M. Sc. Sebastian Lauer (ETIT), B. Sc. Paul Rösler (ETIT)
Sprache:
Deutsch
SWS:
4
LP:
5
Angeboten im:
Sommersemester

Termine im Sommersemester

  • Beginn: Dienstag den 18.04.2017
  • Vorlesung Dienstags: ab 12:15 bis 13.45 Uhr im ID 04/413
  • Übung Dienstags: ab 14:00 bis 15.45 Uhr im ID 04/413

Prüfung

Schriftliche Prüfung am 14.02.2018

Dauer: 120min
Prüfungsanmeldung: FlexNow
Beginn: 09:30

Raum:

ID 03/445: Alle Studierenden

Ziele

Die Studierenden verstehen die Besonderheit kryptographischer Protokolle, bei denen nicht mehr ein Algorithmus im Vordergrund steht, sondern die Interaktion verschiedener Einheiten. Sie kennen die wichtigsten Konzepte bzgl. der beweisbaren Sicherheit von Protokollen. Die wichtigsten Bausteine kryptographischer Protokolle werden behandelt, so dass die Studierenden in der Lage sind, direkt in die wissenschaftliche Literatur zu diesem Thema einzusteigen.

Inhalt

Diese Vorlesung bietet eine Einführung in das Gebiet der kryptographischen Protokolle, die den Einsatz bekannter und neuer Verfahren der Kryptographie in der Kommunikation zwischen mehreren Instanzen beschreibt. Hierbei wird sowohl Wert auf die Beschreibungen als auch auf die Sicherheit gelegt. Die Vorlesung umfasst folgende Themen:

  • Kryptographische Grundlagen (Kurze Widerholung der Wahrscheinlichkeitstehorie, Informationstheorie, etc.)
  • Beweisbare Sicherheit
  • Analyse von Schlüsselaustauschprotokollen, insbesondere TLS und SSH

Die Zusammenstellung ist nicht fest und kann nach Absprache mit den Hörern auch geändert werden.

Voraussetzungen

keine

Empfohlene Vorkenntnisse

  • Grundkenntnisse Kryptographie
  • Empfehlung: Durcharbeiten der ersten 40 Folien vom Skript Kryptographie I von Prof. Alexander May

Materialien

Sonstige:

Sonstiges

  • Die Nachschreibklausur am 22.02.16 findet in ID 2/168 statt
  • Die erste Übung findet am 14.04. statt.
  • Es gibt einen Moodle Kurs zur Vorlesung. Das Einschreibepasswort wird während der ersten Vorlesung bekanntgegeben.
Ergänzende Literatur: