Formale und kryptographische Analyse von Protokollen mit spieltheoretischen Sicherheitsanforderungen

具有博弈论安全要求的协议的形式化和密码学分析

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

Kryptographische Protokolle bilden den Kern sicherheitskritischer Systeme und Aufgaben, wie etwa sichere Kommunikation und sichere Abwicklung von Geschäftsvorgängen. Der Entwurf derartiger Protokolle ist jedoch äußerst komplex und fehleranfällig, da diese Protokolle ihre Sicherheitsziele auch dann erreichen müssen, wenn ein Angreifer das Kommunikationsnetzwerk kontrolliert oder Protokollteilnehmer unehrlich sind, d.h., vom vorgeschriebenen Protokoll abweichen. Eine rigorose Analyse kryptographischer Protokolle ist deshalb unverzichtbar. Zahlreiche Protokolle, z.B. Vertragsunterzeichnungsprotokolle, müssen komplexen, haug spieltheoretischen Sicherheitsanforderungen genügen, wie etwa verschiedenen Formen der Fairness, Ausgewogenheit und Missbrauchsfreiheit. Für Protokolle mit derartigen Anforderungen sind jedoch bisher kaum Methoden zur systematischen Analyse bekannt. In vielen Fallen fehlen sogar rigorose Denitionen dieser Anforderungen. Das Ziel des geplanten Projektes ist deshalb, Modelle und Methoden für die rigorose Analyse von Protokollen mit spieltheoretischen Sicherheitsanforderungen zu entwickeln. Dabei sollen sowohl formale als auch kryptographische Ansätze verfolgt werden.

Kryptographische Protokolle bilden den den den克恩sicherheitskritischer Systeme und Aufgaben，wie etwa sichere Komberkation und sichere Abwicklung von Geschäftsvorgängen.该方案的设计非常复杂，安全性也很高，如果一个客户对通信网络的控制或对方案的控制不满意，vom vorgeschriebenen Protokoll abweichen.一个严格的密码分析协议是不可靠的。Zahlreiche Protokolle，z.B. Vertragsunterzeichnungsbrotokolle，müssen komplexen，haug spieltheoretischen Sicherheitsanforderungen genügen，wie etwa vertagedenen Formen der Fairness，Ausgewogenetics and Missbrauchsfreietics. Für Protokolle mit derartigen Anforderungen sind jedoch bisher kaum Methoden zur systematischen Analyse bekannt. In vielen Fallen fehlen sogar rigorose Denitionen dieser Anforderungen.本文介绍了一种用于严格分析具有空间理论安全性的原型系统的模型和方法。大北必须正式向韦尔登提供密码学的解释。