Tightly-secure authenticated key exchange
- Protokolle für authentifizierten Schlüsselaustausch bilden die Grundlage für eine kryptographisch sichere, digitale Kommunikation. Diese Arbeit beschäftigt sich mit der konkreten Sicherheit solcher Protokolle, wobei insbesondere konkrete Schranken für die Sicherheit des HMQV und des NAXOS Protokolls in Gruppen primer Ordnung analysiert werden. Des Weiteren betrachtet diese Arbeit generische Konstruktionen aus kryptographischen Bausteinen und ermittelt deren genaue Eigenschaften, sodass die formalen Sicherheitsgarantien des resultierenden Protokolls unabhängig von der Anzahl der Nutzer oder Protokollausführungen gelten. Da diese Instanziierungen auf Annahmen beruhen, die von Quantenalgorithmen gebrochen werden können, schlägt diese Arbeit zuletzt ein weiteres Protokoll vor, das die Gruppenwirkung auf einer Menge von supersingulären elliptischen Kurven ausnutzt. Diese Instanziierung ist ein vielsprechender Kandidat für quantenresistente Kryptographie.
Author: | Doreen RiepelGND |
---|---|
URN: | urn:nbn:de:hbz:294-97995 |
DOI: | https://doi.org/10.13154/294-9799 |
Referee: | Eike KiltzORCiDGND, Tibor JagerGND, Shengli LiuGND |
Document Type: | Doctoral Thesis |
Language: | English |
Date of Publication (online): | 2023/04/28 |
Date of first Publication: | 2023/04/28 |
Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
Granting Institution: | Ruhr-Universität Bochum, Fakultät für Informatik |
Date of final exam: | 2023/03/24 |
Creating Corporation: | Fakultät für Informatik |
GND-Keyword: | Kryptologie; Schlüsselaustauschprotokoll; Sicherheit; Public-Key-Kryptosystem; Theoretische Informatik |
Institutes/Facilities: | Crypto RUB |
Dewey Decimal Classification: | Allgemeines, Informatik, Informationswissenschaft / Informatik |
faculties: | Fakultät für Informatik |
Licence (German): | Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |