摘要
密码协议是构建网络安全环境、保护信息系统安全的重要手段之一,然而分析其固有缺陷和揭示入侵攻击行为,却是一件非常困难的事情。文中通过综合基于逻辑和模型检测的密码协议分析方法,提出了一种基于目标提取和消息模式匹配的自动密码协议分析方法,并以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.
出处
《计算机应用》
CSCD
北大核心
2005年第9期2089-2091,共3页
journal of Computer Applications
基金
安徽省教育厅重点科研项目(2003KJ049ZD)
关键词
密码协议
协议分析
模型检测
cryptographic protocol
protocol analysis
model inspection
