Modeling and analyzing cryptographic real-world protocols

Sicherheitsanalysen von sogenannten "real-world" Protokollen stellen Forscher vor eine neue Herausforderung: Die echte Welt muss in einem theoretischen Modell abgebildet werden. Die Ergebnisse dieser Arbeit lassen sich in die folgenden Schwerpunkte gliedern: 1. Das ACCE Modell wird erweitert um die Neuverhandlung von kryptographischen Parametern zu modellieren. In diesem Modell wird der renegotiation Mechanismus von TLS analysiert. 2. Die Sicherheit von SSH, wird im ACCE-Modell analysiert. SSH ist ein sehr wichtiges Sicherheitsprotokoll, welches häufig für den Remotezugriff zur Serverkonfiguration eingesetzt wird. 3. Ein sehr effiziente Zwei-Nachrichten Protokoll, welches ein hohes Maß an Sicherheit liefert, wird angegeben. Dieses Protokoll garantiert Sicherheit, selbst wenn der langlebige geheime Schlüssel oder der kurzlebige geheime Sitzungsschlüssel der beiden Parteien kompromittiert sind