Formale und kryptographische Analyse von Protokollen mit spieltheoretischen Sicherheitsanforderungen

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.在许多堕落的人中，他们都被严格地否认自己的罪行。本文介绍了一种用于严格分析具有空间理论安全性的原型系统的模型和方法。大北必须正式向韦尔登提供密码学的解释。

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.