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

Automatic cryptographic protocol analysis

作　　者：宁小军[1] 黄刘生[1] 周智[1] 

机构地区：[1]中国科学技术大学信息学院,安徽合肥230027

出　　处：《计算机应用》2005年第9期2089-2091,共3页journal of Computer Applications

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

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

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]