Automatische Analyse kryptographischer Protokolle mit komplexen Nachrichtenformaten

自动分析复杂消息格式的密码协议

• 批准号: 5445829
• 负责人: Professor Dr. Ralf Küsters
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5445829?language=en
• 关键词: Automatische; Analyse; kryptographischer; Protokolle; mit

Grundlage sicherer und verbindlicher elektronischer Kommunikation und der elektronischen Abwicklung von Geschäftsvorgängen sind kryptographische Protokolle (bzw. Protokolle mit kryptographischen Anteilen). Deren Entwurf ist erfahrungsgemäß sehr schwierig und stark fehleranfällig, weshalb eine automatische Analyse unabdingbar ist. Gegenstand der Untersuchungen des Vorhabens sind kryptographische Protokolle, die sich dadurch auszeichnen, dass die bei ihrer Ausführung ausgetauschten Nachrichten von komplexen Beschaffenheit sind. Dies ist zum Beispiel der Fall bei Web-Service-Protokollen: eine Nachricht kann hier unter anderem verschlüsselte Bestell- und Preisangaben, signierte und damit authentifizierte Routingvorgaben und Firewall- Zertifikate enthalten. Ein anderes Beispiel sind Multicasting- Protokolle. Derartige Protokolle lassen sich mit der bislang entwickelten Theorie nicht automatisch analysieren. Ziel der Untersuchungen ist es deshalb, für solche Protokolle geeignete Modelle zu entwerfen, effiziente Verfahren zur automatischen Analyse dieser Protokolle zu entwickeln und die Grenzen ihrer automatischen Analyse aufzuzeigen.

Grundlage sicherer und verbindlicher elektronischer Komberkation und der elektronischen Abwicklung von Geschäftsvorgängen sind kryptographische Protokolle（bzw. Protokolle mit kryptographischen Anteilen）. Deren Entwurf ist erfahrungsgemäschehr schwierig und stark fehleranfällig，weshalb eine automatische Analyse unabdingbar ist. Gegenstand der Untersuchungen des Vorhabens sind kryptographische Protokolle，die sich dadministered auszeichnen，dass die bei hrer Ausführung ausgetauschten Nachrichten von komplexen Beschaffenches sind. Dies ist zum Beispiel der Fall bei Web-Service-Protokollen：eine Nachricht kann hier unter anderem verschlüsselte Bestell- und Preisangaben，signierte und damit authentizierte Routingvorgaben und Firewall- Zertifikate enthalten。另一个节目是多播节目.用双变量理论不能自动分析原始协议。Ziel der Untersuchungen is deshalb，für solche Protokolle geeignete Modelle zu entwerfen，effiziente Verfahren zur automatischen Analyse dieser Protokolle zu entwickeln and die Grenzen ihrer automatischen Analyse aufzuzeigen.