Formale und kryptographische Analyse von Protokollen mit spieltheoretischen Sicherheitsanforderungen

Cryptograph ische Protokolle bilden Kern Sicherheitskritischer Systeme and Aufgaben，Wie etwa Sinhere Komomikation and Sinhere Abwickung von Geschäftsvorgängen.这是一项新的、广泛的研究。一份严格的分析表明，克雷托石墨盒的原形是不透明的。Zahlreiche Protokolle，Z.B.VergressunterzeichnnungsProtokolle，müssen komplexen，Haug Spielthetischen Sinheritsanforderungen gen，Wie etwa verschiedenen formen der Fairness，Ausgewgenheit and Missbrauchsfreiheit.Für Protokolle MIT derartigen Anforderungen sind jedoch Bisher kaum Methoden zur Systatischen分析贝坎特。在维伦倒下了，索格，严酷地拒绝了安德鲁根。DAS ZIELL DES GERPLANEN PROJEKTES ISDEB DAS ZIELL DES GERPLANEN PROJEKTES ISDEB，MODELLE AND METHODEN FUR DISTOR AND ARTHING AND Von Protokollen MIT Spielthetischen Sinherheitsanforderungen zu entwickeln.在此基础上，提出了一种新的计算方法。

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.