非否认协议及协议形式化分析研究

分析现有协议：认证协议、非否认协议、电子商务协议的共性和不同点，及其安全性问题。设计新型能够防止欺骗的安全协议：包括认证协议、非否认协议和电子商务协议。研究形式化分析工具BAN逻辑、SVO逻辑和KAILAR逻辑的优点和缺陷。改进和优化BAN类逻辑，改进和扩展KAILAR逻辑。建立新型形式化分析工具。研究密码算法的安全性和分析方法，以及它们在安全协议中所起的作用。将上述成果用于实际系统，例如电子商务和防火墙。研究成果在安全协议设计、形式化分析工具创新、密码算法的设计和分析等方面有重大突破，达到国际领先水平。成果已经纳入国家专项攻关项目中和中科院重大项目，不仅在理论上，而且在实践上均有重要意义。