位置:立项数据库 > 立项详情页
非否认协议及协议形式化分析研究
  • 项目名称:非否认协议及协议形式化分析研究
  • 项目类别:面上项目
  • 批准号:69673016
  • 申请代码:F020702
  • 项目来源:国家自然科学基金
  • 研究期限:1997-01-01-1999-12-01
  • 项目负责人:卿斯汉
  • 负责人职称:研究员
  • 依托单位:中国科学院软件研究所
  • 批准年度:1996
中文摘要:

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


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 5
  • 0
  • 0
  • 2
  • 0
相关项目
期刊论文 20 会议论文 1 著作 2
期刊论文 10 会议论文 12
期刊论文 30 会议论文 1
卿斯汉的项目
期刊论文 24 会议论文 13 著作 2
期刊论文 43 会议论文 22 著作 4