Automatische Verifikation kryptographischer Protokolle

• Antragsteller: Professor Dr. Ralf Küsters
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2003 bis 2004
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5402449

Kryptographische Protokolle bilden die Basis für Anwendungen, die auf sichere Kommunikation angewiesen sind. Beispiele derartiger Anwendungen sind Online-Banking und -Shopping sowie elektronische Kreditkartentransaktionen. Da die Entwicklung sicherer kryptographischer Protokolle äußerst fehleranfällig ist, ist eine formale Analyse solcher Protokolle unerlässlich. Die bisher entwickelten Methoden und Werkzeuge zur Analyse kryptographischer Protokolle sind jedoch meist nur auf einfache Authentifizierungs- und Schlüsselaustauschprotokolle anwendbar; insbesondere stehen nur für diese einfachen Protokolle Algorithmen zur automatischen Verifikation zur Verfügung. Das wesentliche Ziel dieses Forschungsvorhabens ist es deshalb, Modelle und Algorithmen zur automatischen Verifikation kryptographischer Protokolle, die mit bisherigen Methoden nicht oder nur bedingt gehandhabt werden können, zu entwickeln und zu untersuchen. Dabei liegt das Hauptaugenmerk meiner Arbeit auf Schlüsselaustausch- und Authentifizierungsprotokollen mit komplexen Datenstrukturen, welche insbesondere Gruppenprotokolle einschließen, sowie fairen Austauschprotokollen, die E-Commerce-Protokolle umfassen.

• DFG-Verfahren: Forschungsstipendien