Moses - Modulbeschreibung ohne Titel

Zur Modulseite PDF generieren

Modul / Version
#41003 / #1

Gültigkeit
SoSe 2020 - SoSe 2022

Verfügbare Sprache(n)
English

Titel des Moduls
Foundations of Cryptographic Protocols

Leistungspunkte
6

Modulverantwortliche*r
Weber, Ingo

Benotung
Benotet

Prüfungsform
Portfolioprüfung

Lehrsprache(n)
English

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Wirtschaftsinformatik und Quantitative Methoden

Fachgebiet
34361500 FG Software and Business Engineering (SBE)

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
EN 6

Ansprechpartner*in
Heindel, Tobias

E-Mail-Adresse
heindel@tu-berlin.de

Webseite
Keine Angabe

Diese Modulbeschreibung ist nicht oder nicht vollständig auf deutsch hinterlegt.

Es wird stattdessen der Inhalt der folgenden Sprachversion angezeigt: Englisch.

Klicken Sie hier um die Inhalte der fehlenden oder unvollständige Sprachversion (Deutsch) anzuzeigen

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SoSe 2020 - SoSe 2022.

Lernergebnisse

The course aims to teach students to assess security properties of protocols, and describe possible scenarios in which they can function correctly based on methods from cryptography, process calculi, and formal verification. In particular, after completion of the course, students should be able to * outline the role of cryptographic primitives, recall the standard assumptions about cryptographic primitives, and explain the dependencies of exchanged messages in protocols; * justify why a given protocol satisfies the desired security properties and how they could be checked (automatically); * summarize the relevant logical facts and mathematical theorems that are essential to prove the correctness of protocols; * gauge the difficulty of the verification of a given security property, and recommend suitable standard methods accordingly; * illustrate and explain the relevance of results from complexity theory.

Lehrinhalte

The module covers 1) basic cryptographic concepts, methods, and standards: one-time-pad, advanced encryption standard, RSA and prime number algorithms, one-way and hash functions; 2) examples of protocols and communication systems: interactive proof systems, zero knowledge proofs, secure multi-party computations; 3) formal specification and verification of cryptographic protocols: Dolev-Yao model, security flaws, applied pi-calcuil, model-checking, logic programming.

Modulbestandteile

Compulsory area

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Foundations of Cryptographic Protocols	IV	3436 L 10634	SoSe	en	4

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Foundations of Cryptographic Protocols (IV):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Attendance (lecture)	15.0	3.0h	45.0h
Attendance (Übung)	15.0	1.0h	15.0h
Exam preparation	2.0	7.5h	15.0h
Homework	6.0	10.0h	60.0h
Pre/post processing	15.0	3.0h	45.0h
			180.0h(~6 LP)

Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

The main part of the course consists of bi-weekly blocks that start with a week of two lectures, followed by a week with one lecture and one practicum (Übung). During the final weeks of the semester, the course will focus on the use of verification tools and discussion of current research topics.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

The course presupposes familiarity with complexity theory, mathematical logic, probability theory, and arithmetic in fields.

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Portfolio examination

Art der Portfolioprüfung

100 Punkte insgesamt

Sprache(n)

English

Prüfungselemente

Name	Punkte	Kategorie	Dauer/Umfang
(Deliverable Assessment) Homework, 6 assignments	25	schriftlich	2-3 pages each
(Examination) Mid term exam	30	schriftlich	1 hour
(Examination) Final exam	45	schriftlich	80 minutes

Notenschlüssel

Notenschlüssel »Notenschlüssel 2: Fak IV (2)«

Gesamtpunktzahl	1.0	1.3	1.7	2.0	2.3	2.7	3.0	3.3	3.7	4.0
100.0pt	95.0pt	90.0pt	85.0pt	80.0pt	75.0pt	70.0pt	65.0pt	60.0pt	55.0pt	50.0pt

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Sommersemester.

Maximale teilnehmende Personen

Die maximale Teilnehmerzahl beträgt 24.

Anmeldeformalitäten

Registering for the exam is open to Master's students of the listed programs (and the respective specializations).

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: verfügbar

Literatur

Empfohlene Literatur
John Talbot, Dominic Welsh: Complexity and Cryptography - An Introduction. Cambridge, 2006
Christo H. Papadimitriou: Computational Complexity. Addison-Wesley, 1994
Oded Goldreich: Foundations of Cryptography (Basic Applications). Cambridge University Press, 2004
William Stallings: Cryptography and Network Security: Principles and Practice. Prentice-Hall, 2003
Arto Salomaa: Public Key Cryptography. Springer, 1990

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

Sonstiges

Keine Angabe