Kryptographisch korrekte Sicherheitsanalyse von kryptographischen Protokollen

密码协议的密码正确安全分析

• 批准号: 27419139
• 负责人: Professor Dr. Michael Backes
• 金额: --
• 依托单位: CISPA - Helmholtz-Zentrum für Informationssicherheit
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2006
• 资助国家: 德国
• 起止时间: 2005-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/27419139?language=en
• 关键词: Kryptographisch; korrekte; Sicherheitsanalyse; von; kryptographischen

Kryptographische Protokolle stellen die Grundlage sicherer und verbindlicher Kommunikation über elektronische Medien wie z.B. das Internet dar. Heutzutage ist es allgemein anerkannt, dass die Sicherheit kryptographischer Protokolle mathematisch bewiesen werden muss, um verlässliche Sicherheitsgarantien zu erhalten. Zwei unterschiedliche Ansätze existieren, um solche Beweise zu führen: Der kryptogmphische Ansatz garantiert umfangreiche Sicherheitseigenschaften für realistische Protokollimplementierungen basierend auf Resultaten der zugrundeliegenden kryptographischen Algorithmen and komplexitätstheoretischen Annahmen. Der formale-Methoden Ansatz überlässt die langwierigen und fehleranfälligen Teile der Beweise maschinellen Verifikations-Werkzeugen und erlaubt daher fehlerunanfälligere, glaubwürdigere Beweise selbst komplexer Protokolle basierend auf Idealisierungen der Kryptographie. Gegenstand des Vorhabens ist die Untersuchung von Gemeinsamkeiten und Unterschieden der beiden Ansätze. Die Gemeinsamkeiten sollen vorteilhaft verbunden werden mit dem Ziel, maschinell verifizierte Beweise mit umfangreichen, kryptographisch fundierten Sicherheitsgarantien von Sicherheitsprotokollen zu erhalten. Das Vorhaben umfasst insbesondere komplexe Sicherheitseigenschaften kryptographischer Protokolle wie z.B. komplexe Geheimhaltungseigenschaften, Sicherheitsanalysen im Rahmen von komplexen System- und Angreifermodellen wie z.B. dynamische reaktive Systemmodelle bzw. dynamische Korrumpoierung ehrlicher Protokollteilnehmen durch den Angreifer, sowie die Entwicklung von effizienten, kryptographisch fundierten Verifikations-Werkzeugen. Die Herausarbeitung der Unterschiede der beiden Ansätze hat die Erlangung von Unmöglichkeitsresultaten zum Ziel, d.h. die Entdeckung und Erforschung von Protokollklassen, für die kein generelles kryptographisches Korrektheitsresultat erzielt werden kann.

密码学协议，加密技术，加密技术，通信技术，通信技术，电子媒体技术，互联网技术。Heutzutage ist es allgemein anerkant, dass die Sicherheit cryptographischer Protokolle mathematics between werden muss, um verlässliche Sicherheitsgarantien zu erhalten。Zwei unterschiedliche Ansätze exististien, um solche Beweise zu fhren: Der kryptogphische Ansatz garantische Sicherheitseigenschaften f<e:1> r realistische Protokollimplementierungen basierend auf Resultaten Der zugrundeliegenden kryptographischen algorithm and komplexitätstheoretischen Annahmen。Der formale-Methoden Ansatz überlässt die langwierigen und fehleranfälligen Teile Der Beweise maschinellen验证- werkzeeugen und erlaubt daher fehlerunanfälligere， glaubw<e:1> rdigere Beweise selbst komplexer Protokolle basereend auf Idealisierungen Der ryptography。[1]“科学与技术之研究”与“科学与技术之研究”Ansätze。Die Gemeinsamkeiten sollen vorteilhaft verbunden werden den dem Ziel, maschinell verificizerte Beweise mit umfangreichen, cryptographisch fundditen Sicherheitsgarantien von Sicherheitsprotokollen zu erhalten。Das Vorhaben unfast insondere complex（复杂系统）；Sicherheitseigenschaften（加密系统）；Sicherheitsanalysen in Rahmen von komplexen System- and Angreifermodellen（动态反应系统）；动力学Korrumpoierung ehrlicher Protokollteilnehmen durch den Angreifer， sowie die Entwicklung von effizienten，密码学基础不同的验证-工作。Die Herausarbeitung der Unterschiede der beitung Ansätze hat Die Erlangung von Unmöglichkeitsresultaten zum Ziel博士，Die entdecung and Erforschung von Protokollklassen, r Die keergenerelles cryptographisches Korrektheitsresultat erzielt werden kann。