结合计算观点与符号观点的安全协议安全性分析方法研究

安全协议的安全性分析方法是安全协议研究中的关键问题。为提高安全性分析方法的效率和可靠性，本项目拟结合安全性分析中的符号观点与计算观点建立新的分析模型，以得到一种既可以进行形式化分析又具有密码学可靠性的安全性分析方法，既能考察协议步骤和消息结构的安全性，同时又能考察协议所采用的密码算法的安全性，从而对安全协议进行更为全面的分析，并实现分析的自动化验证。主要研究：数论等典型基础数学问题，改善和提高密码算法的速度；建立符号观点下表达式等价与计算观点下计算不可区分性的对应关系，将两种观点有机地调和在一起产生新的分析方法；在新方法下建立安全协议的计算模型，形式化安全协议各分级目标和最终目标；完成新方法的自动化验证；分析评估2-3个典型的大型安全协议，对安全协议的设计提出一些建设性意见。