作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2010, Vol. 36 ›› Issue (11): 5-7,10. doi: 10.3969/j.issn.1000-3428.2010.11.002

• 博士论文 • 上一篇    下一篇

安全认证中的协议组合推导系统

王惠斌1,2,祝跃飞1   

  1. (1. 解放军信息工程大学信息工程学院,郑州 450002;2. 河南司法警官职业学院,郑州 450011)
  • 出版日期:2010-06-05 发布日期:2010-06-05
  • 作者简介:王惠斌(1964-),男,博士研究生,主研方向:信息安全;祝跃飞,教授
  • 基金资助:

    国家“863”计划基金资助项目“密码算法和安全协议自动化分析评估系统”(2007AA01Z471)

Protocol Composition Deduction System in Security Authentication

  1. (1. College of Information Engineering, PLA Information Engineering University, Zhengzhou 450002; 2. Henan Judicial Police Vocational College, Zhengzhou 450011)
  • Online:2010-06-05 Published:2010-06-05

摘要:

针对现有安全认证协议中存在无数学模型、层次结构不清晰、适用范围窄的问题,提出协议组合推导系统。将安全协议按安全目标分为3个层次,第1层是密钥交换与身份认证属性的实现,第2层是效率提升与预防拒绝服务攻击的实现,第3层是安全协议的形式化理论分析与自动化测试工具验证安全协议的安全属性。仿真结果表明,该系统可实现安全协议的形式化设计,并可根据需要予以扩充。

关键词: 安全认证, 形式化设计, 协议组合推导系统

Abstract:

Aiming at the problem of lacking mathematics model, level structure no clarity and application rang narrow in security authentication protocol, this paper presents protocol composition deduction system. It divides the design of security protocols into three levels. The first level is realizing basic key exchange and identity verification, the second level is the efficiency promotion and realization mechanism of defending denial of service attack, the third level is the security analysis of security protocols and verifying the security properties by automatic test tool. Simulation results show that this system can realize formal design for security authentication protocol, and it can be conveniently extended and transplanted according to need.

Key words: security authentication, formal design, Protocol Composition Deduction System(PCDS) security authentication, formal design, Protocol Composition Deduction System(PCDS)

中图分类号: