安全协议的可证明安全性理论与方法研究

深化和完善可证明安全性理论的基本方法论、安全论断以及推理证明技术，解决当前存在的一些关键理论或技术问题；完善安全协议的模块化设计分析理论；拓展可证明安全性理论的应用范围，在兼顾效率和应用安全性因素的前提下，设计出具有更理想的具体安全性数量指标的安全协议。主要研究内容包括：1）系统研究安全协议的密码学基础理论，规划安全协议的形式化安全模型；2）基于项目自身建立的形式化安全模型，分析评估一些有代表性的安全协议的具体安全性指标；3）研究可证明安全性理论的基础方法论，提出一些新型紧安全归约技术；4）深化和完善安全协议的模块化设计分析理论；5）设计具有更理想具体安全性的安全协议，拓展可证明安全性理论的应用范围。重点解决系统的形式化安全模型规划，基本方法论的选取，新的安全论断以及推理证明技术，安全认证器的构造，基础安全假设的选取等关键问题。