On the cryptographic security of browser-based protocols
- Um Sicherheit im Internet gewährleisten zu können werden vor dem Austausch sensibler Daten sogenannte Authentikations- und Schlüsselaustauschprotokolle ("Authenticated Key Exchange", AKE) ausgeführt. Das wichtigste dieser Protokolle ist das Secure Socket Layer (SSL) / Transport Layer Security (TLS) Protokoll. Es wird unter anderem zur Absicherung von HTTP-Verbindungen benutzt, der Grundlage des World Wide Web. In allen aktuell existieren kryptografischen Sicherheitsmodellen konnte das TLS Protokoll bislang nicht bewiesen werden, sodass wir keine formalen Aussagen über die Sicherheit dieses Protokolls treffen konnten. Aufgrund der hohen Verbreitung von TLS ist dies ein besonders kritischer Mangel im Stand der Technik. Dieser Mangel wurde in der vorliegenden Arbeit behoben.
Author: | Florian KohlarGND |
---|---|
URN: | urn:nbn:de:hbz:294-40791 |
Referee: | Jörg SchwenkORCiDGND, Dennis HofheinzGND |
Document Type: | Doctoral Thesis |
Language: | English |
Date of Publication (online): | 2014/05/08 |
Date of first Publication: | 2014/05/08 |
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: | 2013/07/05 |
Creating Corporation: | Fakultät für Elektrotechnik und Informationstechnik |
GND-Keyword: | Kryptologie; SSL; TLS; Browser; Internet |
Institutes/Facilities: | Lehrstuhl für Netz- und Datensicherheit |
Dewey Decimal Classification: | Allgemeines, Informatik, Informationswissenschaft / Informatik |
faculties: | Fakultät für Elektrotechnik und Informationstechnik |
Licence (German): | ![]() |