Automatische Verifikation kryptographischer Protokolle

密码学协议建立了一个基础，这个基础是为了保证密码的正确性。电子信用卡交易主要是网上银行和网上购物。随着加密技术的发展，协议变得越来越复杂，这是一个正式的分析解决方案。Die bisher entwickelten Methoden und Werkzeuge zur Analyse kryptographischer Protokolle sind meist努尔auf einfache Authentizierungs- und Schlüsselaustauschprotokolle anwendbar; insbesondere努尔für diese einfachen Protokolle swemen zur automatischen Verifikation zur Verfügung.这些研究成果是对自动验证密码学协议的描述、建模和分析，它不需要使用较好的方法或仅需韦尔登就可以进行开发和使用。我的总部位于Schlüsselaustausch- und Authentizierungsprokshire和复杂的数据结构上，我们的Gruppenprotokolle einschließen，sowie fairen Austauschprotokshire，die E-Commerce-Protokolle umfassen。

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.