| 一种自动密码协议分析方法 |
| |
| 引用本文： | 宁小军,黄刘生,周智.一种自动密码协议分析方法[J].计算机应用,2005,25(9):2089-2091. |
| |
| 作者姓名： | 宁小军 黄刘生 周智 |
| |
| 作者单位： | 中国科学技术大学,信息学院,安徽,合肥,230027;中国科学技术大学,信息学院,安徽,合肥,230027;中国科学技术大学,信息学院,安徽,合肥,230027 |
| |
| 基金项目： | 安徽省教育厅重点科研项目（2003KJ049ZD） |
| |
| 摘 要： | 密码协议是构建网络安全环境、保护信息系统安全的重要手段之一,然而分析其固有缺陷和揭示入侵攻击行为,却是一件非常困难的事情。文中通过综合基于逻辑和模型检测的密码协议分析方法,提出了一种基于目标提取和消息模式匹配的自动密码协议分析方法,并以Needham-Schroeder(NS)公钥协议为例,进行了具体分析。
|
| 关 键 词： | 密码协议 协议分析 模型检测 |
| 文章编号： | 1001-9081（2005）09-2089-03 |
| 收稿时间： | 2005-03-17 |
| 修稿时间： | 2005-03-172005-05-23 |
Automatic cryptographic protocol analysis |
| |
| NING Xiao-jun,HUANG Liu-sheng,ZHOU Zhi.Automatic cryptographic protocol analysis[J].journal of Computer Applications,2005,25(9):2089-2091. |
| |
| Authors: | NING Xiao-jun HUANG Liu-sheng ZHOU Zhi |
| |
| Affiliation: | School of Information,University of Science and Technology of China,Heifei Anhui 230027,China |
| |
| 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. |
| |
| Keywords: | cryptographic protocol protocol analysis model inspection |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
