Design and analysis of cryptographic protocols
- Das Design und die Analyse der sicheren Kommunikationsprotokolle haben sich als nichttriviale Aufgabe erwiesen. Der Beweis der Sicherheit einfacher kryptographischer Protokolle ist üblicherweise sehr komplex. Viele Protokolle wurden ohne theoretische Rechtfertigung, d.h. ohne formalen Sicherheitsbeweis, entwickelt. Dies umfasst etwa die Protokolle TLS/SSL, IPSec oder Kerberos. Aus diesem Grund gibt es in regelmäßigen Abständen Angriffe auf diese Protokolle. Daher ist die Analyse bestehender Protokolle, sowie der Entwurf theoretisch fundierter kryptographischer Protokolle von großer Wichtigkeit, wenn man solche Angriffe vermeiden möchte. Diese Arbeit beschäftigt sich mit Design und Analyse kryptographischer Protokolle in den aktuell gängigsten Sicherheitsmodellen. Wir zeigen, wie man Kommunikationsprotokolle systematisch konstruieren und analysieren kann, insbesondere für authentifizierte Schlüsselaustauschprotokolle in realitätsnahen Modellen.
Author: | Yong LiGND |
---|---|
URN: | urn:nbn:de:hbz:294-45471 |
Referee: | Jörg SchwenkGND, Dennis HofheinzGND |
Document Type: | Doctoral Thesis |
Language: | English |
Date of Publication (online): | 2016/02/01 |
Date of first Publication: | 2016/02/01 |
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: | 2015/06/24 |
Creating Corporation: | Fakultät für Elektrotechnik und Informationstechnik |
GND-Keyword: | Kryptologie; Sicherheit; Kommunikationsprotokoll; Schlüsselaustauschprotokoll; Reduktion |
Institutes/Facilities: | Lehrstuhl für Netz- und Datensicherheit |
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 |