计算机应用 ›› 2005, Vol. 25 ›› Issue (09): 2089-2091.DOI: 10.3724/SP.J.1087.2005.02089

• 网络与信息安全 • 上一篇    下一篇

一种自动密码协议分析方法

宁小军,黄刘生,周智   

  1. 中国科学技术大学信息学院
  • 发布日期:2011-04-11 出版日期:2005-09-01
  • 基金资助:

    安徽省教育厅重点科研项目(2003KJ049ZD)

Automatic cryptographic protocol analysis

NING Xiao-jun,HUANG Liu-sheng,ZHOU Zhi   

  1. School of Information,University of Science and Technology of China,Heifei Anhui 230027,China
  • Online:2011-04-11 Published:2005-09-01

摘要: 密码协议是构建网络安全环境、保护信息系统安全的重要手段之一,然而分析其固有缺陷和揭示入侵攻击行为,却是一件非常困难的事情。文中通过综合基于逻辑和模型检测的密码协议分析方法,提出了一种基于目标提取和消息模式匹配的自动密码协议分析方法,并以Needham-Schroeder(NS)公钥协议为例,进行了具体分析。

关键词: 密码协议, 协议分析, 模型检测

Abstract: Cryptographic protocol is one of the important ways of constructing safe internet environment and protecting the safety of information systems.However,it is very difficult to analyze its limitation and unclose the intrusion.In this article,an automatic cryptographic protocol analysis was put forward,based on object submission and information model inspection by synthesizing the cryptographic protocol analysis based on logic and model matching,and further analysis on public-key protocol of Need-Schroeder(NS) was made.

Key words: cryptographic protocol, protocol analysis, model inspection

中图分类号: