Stefan Milius / Ulrich Dorsch (?)
„Typen“ von Verschlüsslung (Transposition / Substitution) – Caesar, weitere Beispiele
AES – Schritte, GF(2^8), Jeweils in welcher Gruppe Welche Schritte
RSA – Rekonstruktion (vollständig – auch für a ∉ ℤ*_n)
Zero Knowledge?
π-Kalkül – Formalisierung der Protokollbeschreibung im Kalkül, überführung in Horn-Klauseln, Resolution. Spezifikation der Sicherheitsanforderungen (Authentifizierung, Geheimhaltung)