A Hybrid Vulnerability Analysis Method against non-Security Protocols

机译：针对非安全协议的混合漏洞分析方法

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

A hybrid analysis method for protocol is proposed which combines the power of both manual and automatic methods. At first, it defines a number of attack goals and then studies how to achieve these goals by misusing the messages. An automatic analysis tool is applied in order to reach completeness based on the manual analysis. Some of the found attacks are excluded because of the low feasibility in the practical environment, and the other feasible attacks might be combined to launch more powerful compound attacks. Some vulnerability is found when applying the hybrid method to check mobile IPv6 protocol. The result shows the hybrid method is a systematic method with completeness guarantee. It fits for analyzing non-security protocols and finding the subtle vulnerability.

机译：提出了一种用于协议的混合分析方法，该方法结合了手动方法和自动方法的强大功能。首先，它定义了多个攻击目标，然后研究了如何通过滥用消息来实现这些目标。为了达到基于手动分析的完整性，使用了自动分析工具。由于在实际环境中可行性较低，因此排除了一些已发现的攻击，而其他可能的攻击可能会组合起来以发起更强大的复合攻击。应用混合方法检查移动IPv6协议时发现一些漏洞。结果表明，混合方法是一种具有完整性保证的系统方法。它适合于分析非安全协议并找到细微的漏洞。

著录项

来源
《Proceedings of the 9th international conference for young computer scientists (ICYCS 2008)》|2008年|1559-1564|共1页
会议地点
作者
WANG Jiegui;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词
Protocol analysis, non-security protocol, vulnerability, mobile IPv6, spoofing attack;

机译：协议分析，非安全协议，漏洞，移动IPv6，欺骗攻击;

相似文献

外文文献
中文文献
专利

1. Recenze: Bernhard Suter, Erich E. Wanker (ed.): Two Hybrid Technologies: Methods and Protocols (Methods in Molecular Biology) Vol. 812 [J] . J. Lipov Chemicke Listy . 2013,第3期

机译：Recenze：Bernhard Suter，Erich E. Wanker（ED。）：两个混合技术：方法和协议（分子生物学中的方法）Vol。 812.
2. Comparative evaluation of newly developed model-based and commercially available hybrid-type iterative reconstruction methods and filter back projection method in terms of accuracy of computer-aided volumetry (CADv) for low-dose CT protocols in phantom study [J] . Ohno Yoshiharu, Yaguchi Atsushi, Okazaki Tomoya, European Journal of Radiology . 2016,第8期

机译：根据幻影研究中低剂量CT方案的计算机辅助容积法（CADv）的准确性，对新开发的基于模型的和市售的混合型迭代重建方法和滤镜反投影方法进行比较评估
3. Modeling the Search for Vulnerabilities via the Fuzzing Method Using an Automation Representation of Network Protocols [J] . A. I. Pechenkin, D. S. Lavrova Automatic Control and Computer Sciences . 2015,第8期

机译：使用网络协议的自动化表示，通过模糊方法对漏洞搜索进行建模
4. A Hybrid Vulnerability Analysis Method against Non-Security Protocols [C] . Zhang Yanmei, Zhu Jianming International Conference for Young Computer Scientists . 2008

机译：对非安全协议的混合漏洞分析方法
5. Development and evaluation of methodologies for vulnerability analysis of ad-hoc routing protocols. [D] . Yang, Shah-An. 2007

机译：开发和评估用于临时路由协议漏洞分析的方法。
6. Methods and protocol of a mixed method quasi-experiment to evaluate the effects of a structural economic and food security intervention on HIV vulnerability in rural Malawi: The SAGE4Health Study [O] . Lance S Weinhardt, Loren W Galvao, Thokozani Mwenyekonde, -1

机译：评估混合经济和粮食安全干预措施对马拉维农村地区HIV易感性的影响的混合方法准实验的方法和协议：SAGE4Health研究
7. Methods and protocol of a mixed method quasi-experiment to evaluate the effects of a structural economic and food security intervention on HIV vulnerability in rural Malawi: The SAGE4Health Study [O] . Lance S Weinhardt, Loren W Galvao, Thokozani Mwenyekonde, 2014

机译：评估混合经济和粮食安全干预措施对马拉维农村地区HIV易感性的影响的混合方法准实验的方法和协议：SAGE4Health研究
8. A Survey of the Properties of Computer Communication Protocols. Volume I. The Function,Properties,Specification,and Analysis Methods of Computer Communication Protocols. [R] . itzkowitz, avrum e. 1978

机译：计算机通信协议属性综述。第一卷计算机通信协议的功能，属性，规范和分析方法。

A Hybrid Vulnerability Analysis Method against non-Security Protocols

摘要

著录项

相似文献

相关主题

期刊订阅