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)