Automatische Verifikation kryptographischer Protokolle

密码协议自动验证

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

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.

在此基础上，我们进行了一系列的交流。Beispiele derartiger Anwendungen Sind Online-Banking and Shopping Sowie Elektronische Kreditkartentansaktionen.在此基础上，提出了一种新的分析方法。在此基础上，我们提出了一种新的方法和方法，并对加密算法进行了分析，提出了一种自动验证算法。我们选择了自动验证密码的模型和算法，并在此基础上建立了相应的数学模型和算法。从现在开始，我们将继续为您提供最新的服务，为您提供更多的服务。