非安全协议脆弱性的混合分析方法

doi:10.3969/j.issn.1000-3428.2010.06.045

计算机工程 ›› 2010, Vol. 36 ›› Issue (06): 133-136.doi: 10.3969/j.issn.1000-3428.2010.06.045

非安全协议脆弱性的混合分析方法

张艳梅，曹怀虎

(中央财经大学信息学院，北京 100081)

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-03-20 发布日期:2010-03-20

Hybrid Analysis Method of Non-security Protocol Vulnerability

ZHANG Yan-mei, CAO Huai-hu

(Information School, Central University of Finance and Economics, Beijing 100081)

Received:1900-01-01 Revised:1900-01-01 Online:2010-03-20 Published:2010-03-20

摘要/Abstract

摘要： 针对手动方法对非安全协议分析过程中存在的不足，提出一种用于非安全协议的混合分析方法，并在手动分析的基础上，应用形式化自动工具分析协议的脆弱性。通过将该方法应用到移动IPv6协议，发现了新的脆弱性问题。仿真实验结果表明，该方法适合分析非安全协议，能够检查协议设计中的细微脆弱性问题，具有一定的系统性和较好的完备性。

关键词: 协议分析, 非安全协议, 脆弱性, 移动IPv6, 欺骗攻击

Abstract: Aiming at the weakness of manual analysis, this paper proposes a hybrid analysis method against protocol. An automatic analysis tool is applied based on the manual analysis in order to reach completeness. Some vulnerability is found when applying the hybrid method to check mobile IPv6 protocol. Simulational experiment results show that the hybrid method can analyze non-security protocols and find the subtle vulnerability, and it is a systematic method with completeness guarantee.

Key words: protocol analysis, non-security protocol, vulnerability, mobile IPv6, spoofing attack

中图分类号:

TP393

张艳梅;曹怀虎. 非安全协议脆弱性的混合分析方法[J]. 计算机工程, 2010, 36(06): 133-136.

ZHANG Yan-mei; CAO Huai-hu. Hybrid Analysis Method of Non-security Protocol Vulnerability[J]. Computer Engineering, 2010, 36(06): 133-136.

[1]	王辉, 娄亚龙, 戴田旺, 茹鑫鑫, 刘琨. 基于BNAG模型的脆弱性评估算法[J]. 计算机工程, 2019, 45(9): 128-135,142.
[2]	王辉,王腾飞,刘淑芬. 一种基于ATI的网络攻击路径预测方法[J]. 计算机工程, 2016, 42(9): 132-137,143.
[3]	李进东,王韬,吴杨,雷东. 基于协议分析与模糊测试的SIP漏洞挖掘研究[J]. 计算机工程, 2016, 42(8): 117-122.
[4]	李连伟, 刘展, 宋冬梅, 李东旭, 胡利民. 黄河三角洲脆弱性评价系统的设计与实现[J]. 计算机工程, 2013, 39(2): 265-269.
[5]	王剑雄，彭玉旭，陈曦. 一种嵌套移动网络钉球路由问题解决方案[J]. 计算机工程, 2013, 39(10): 94-98.
[6]	刘龙，陈秀真，李建华. 基于攻击模式的完备攻击图自动生成方法[J]. 计算机工程, 2013, 39(10): 127-132.
[7]	张杨杨, 刘金刚, 王煜炜, 杨宝兴. 基于双栈移动IPv6的业务流切换方法[J]. 计算机工程, 2012, 38(9): 97-99.
[8]	张晓初, 杨瑞君, 吴伟航, 胡申明, 陈冰. 互联网流量采集分析系统设计与实现[J]. 计算机工程, 2012, 38(3): 82-84.
[9]	朱亚东, 陈瑾. 移动IPv6下基于流的快速切换方法[J]. 计算机工程, 2012, 38(13): 67-70.
[10]	张冰, 万长胜, 胡爱群. MIP6家乡代理切换中的重认证问题研究[J]. 计算机工程, 2011, 37(8): 80-81.
[11]	吕莹莹, 穆玲玲, 李向丽. 基于多隧道的MIPv6快速切换改进方案[J]. 计算机工程, 2011, 37(7): 100-102.
[12]	邱述威, 张霖, 周健, 黄建. 基于邻居信息表的移动IPv6切换研究[J]. 计算机工程, 2011, 37(6): 88-90.
[13]	齐庆磊, 张浩军, 王逸芳. 一种通用可组合安全的快速密钥交换协议[J]. 计算机工程, 2011, 37(20): 94-96.
[14]	徐邢启, 潘进, 陈安林, 陈志广. MIPv6网络中一般注册的高效认证机制[J]. 计算机工程, 2011, 37(20): 108-110.
[15]	许名松, 李谢华, 曹基宏, 高春鸣. 一种安全增强型无线认证与密钥协商协议[J]. 计算机工程, 2011, 37(17): 116-118,135.

非安全协议脆弱性的混合分析方法

Hybrid Analysis Method of Non-security Protocol Vulnerability

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 10