符号化通用复合的密码协议分析方法研究

项目名称： 符号化通用复合的密码协议分析方法研究

项目编号： No.61170280

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 薛锐

作者单位： 中国科学院信息工程研究所

项目金额： 56万元

中文摘要： 随着通信网络的广泛应用，保障通讯安全的密码协议在应用中日趋复杂化。而大多数复杂协议通常由单功能协议复合而成。因此，如何建立形式化方法分析单功能的协议并且保证复杂协议的安全性，是当前密码协议分析领域的一个研究热点。在现有密码协议分析方法中，形式化方法对协议的通用可复合性支持较弱，且不保证计算可靠性；而基于可复合框架的方法可保证计算可靠性，但符号化和自动化程度较低，分析过程繁难复杂,难以掌握和应用。 本项的目标是形成一套计算可靠的、通用可复合的符号化密码协议分析模型和方法。具备如下特点：1)操作简洁：协议分析完全在形式化模型下进行； 2) 计算可靠：符号分析的安全性保证协议计算模型下的安全性；3)通用复合：协议安全性在协议复合情况下仍然保持。该项目的研究将为日益复杂化的密码协议的安全性分析，提供一种简洁可靠，自动化程度高的分析手段。

中文关键词： 密码协议；形式化分析；通用可复合性；计算可靠性；

英文摘要：

英文关键词： Cryptographic Protocol；Formal Analysis；Universal Compositable；Soundness of Computing；