计算机应用 ›› 2005, Vol. 25 ›› Issue (09): 2089-2091.DOI: 10.3724/SP.J.1087.2005.02089
宁小军,黄刘生,周智
NING Xiao-jun,HUANG Liu-sheng,ZHOU Zhi
摘要: 密码协议是构建网络安全环境、保护信息系统安全的重要手段之一,然而分析其固有缺陷和揭示入侵攻击行为,却是一件非常困难的事情。文中通过综合基于逻辑和模型检测的密码协议分析方法,提出了一种基于目标提取和消息模式匹配的自动密码协议分析方法,并以Needham-Schroeder(NS)公钥协议为例,进行了具体分析。
中图分类号: