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