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.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
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):License LogoKeine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht