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.
Download full text files
Additional Services
| Author: | Florian BergsmaGND |
|---|---|
| URN: | urn:nbn:de:hbz:294-43072 |
| Referee: | Jörg SchwenkGND, Colin BoydGND |
| Document Type: | Doctoral Thesis |
| Language: | English |
| Date of Publication (online): | 2015/02/24 |
| Date of first Publication: | 2015/02/24 |
| Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
| Granting Institution: | Ruhr-Universität Bochum, Fakultät für Elektrotechnik und Informationstechnik |
| Date of final exam: | 2014/11/28 |
| Creating Corporation: | Fakultät für Elektrotechnik und Informationstechnik |
| GND-Keyword: | Kommunikationsprotokoll; TLS; SSH; Datensicherung; Kommunikationsprotokoll / Konstruktion |
| Dewey Decimal Classification: | Technik, Medizin, angewandte Wissenschaften / Elektrotechnik, Elektronik |
| faculties: | Fakultät für Elektrotechnik und Informationstechnik |
| Licence (German): |  Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |
