[1]黄吴丹,严俊琦.路由协议的自动形式化验证方法研究[J].计算机技术与发展,2017,27(12):1-6.
　HUANG Wu-dan,YAN Jun-qi.Research on Automated Formal Verification of Routing Protocols[J].,2017,27(12):1-6.
点击复制

路由协议的自动形式化验证方法研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
27
期数:
2017年12期
页码:
1-6
栏目:
智能、算法、系统工程
出版日期:
2017-12-10

文章信息/Info

Title:
Research on Automated Formal Verification of Routing Protocols
文章编号:
1673-629X（2017)12-0001-06
作者:
黄吴丹; 严俊琦
南京航空航天大学 计算机科学与技术学院,江苏 南京 210016
Author(s):
HUANG Wu-dan; YAN Jun-qi
School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,
Nanjing 210016,China
关键词:
路由协议; 形式化验证; 模型检验; 定理证明
Keywords:
routing protocol; formal verification; model checking; theorem proving
分类号:
TP301
文献标志码:
A
摘要:
路由协议被广泛部署于因特网中用来进行路由信息的交换与路径的选择,确保路由协议正确、安全的运行是计算机网络的基础问题之一。近年来,形式化验证已成功应用于协助路由协议的设计和实现,形式化方法的使用能够找到软件测试过程中难以发现的系统缺陷,从而有效地提高系统的安全性。主要介绍了自动形式化验证的几类主要技术基础:模型检验、定理证明和等价性验证。总结了自动形式化验证路由协议的方法和优缺点以及它们在各个方面的研究进展和使用状况,为相关方向的研究者在使用形式化方法验证路由协议时提供了参考依据。最后总结了该领域的研究状况,并对未来研究热点进行了预测和展望,提出了一些可行的研究方向。
Abstract:
Routing protocols are widely deployed in the Internet for exchanging routing information and selecting routes. Having a correct and secure routing protocol is a fundamental problem to computer networks. Recently,formal verification has been successfully applied to ensure quality of routing protocols in design and implementation. And it can effectively find system defects in software testing to enhance the security of systems. The several main techniques in automated formal verification like model checking,theorem proving and equiva-lence verification are introduced primarily. Then the important methods on automated formal verification for routing protocols and their advantages and disadvantages,as well as their research progress and utilization are summarized,which provides a reference for researchers in related fields to verify routing protocols with formal methods. Finally,the research status of this field is summarized and the future research hotspots are forecasted. Some feasible research directions are also put forward.

相似文献/References:

[1]常莉 吴蒙 王立.Ad hoc网络中能量有效路由协议的性能研究[J].计算机技术与发展,2010,(04):47.
　CHANG Li,WU Meng,WANG Li.Investigating Performance of Energy Efficient Routing Protocols for Ad- hoc Networks[J].,2010,(12):47.
[2]庄春梅 陆建德.AODV协议分析及过期路由维护机制改进[J].计算机技术与发展,2009,(07):44.
　ZHUANG Chun-mei,LU Jian-de.Analysis and Improvement of Expired Routing Management Mechanism of AODV Routing Protocol[J].,2009,(12):44.
[3]张登银 吴品.Adhoc网络路由协议性能仿真分析[J].计算机技术与发展,2009,(07):66.
　ZHANG Deng-yin,WU Pin.Simulation and Analysis of Routing Protocols for Ad hoc Network[J].,2009,(12):66.
[4]张登银 沈邵帅.Ad Hoc网络路由协议仿真分析[J].计算机技术与发展,2009,(08):23.
　ZHANG Deng-yin,SI-IEN Shao-shuai.Simulation Analysis for Routing Protocols in Ad Hoc Network[J].,2009,(12):23.
[5]王国芳 李腊元.基于LEACH和PEGASIS的节能可靠路由协议研究[J].计算机技术与发展,2009,(11):115.
　WANG Guo-fang,LI La-yuan.Research on Energy- Saving and Reliable Routing Protocol Based on LEACH and PEGASIS[J].,2009,(12):115.
[6]何昆鹏 李腊元.Ad Hoc网络中按需路由协议的仿真与性能分析[J].计算机技术与发展,2008,(03):81.
　HE Kun-peng,LI La-yulan.Simulation and Performance Analysis of on-Demand Routing Protocol in Ad Hoc Networks[J].,2008,(12):81.
[7]毕俊蕾 任新会 郭拯危.无线传感器网络路由协议分类研究[J].计算机技术与发展,2008,(05):131.
　BI Jun-lei,PEN Xin-hui,GUO Zheng-wei.Research on Routing Protocol Classification for Wireless Sensor Networks[J].,2008,(12):131.
[8]杨菊英 吕光宏.无线传感器网络分层路由协议研究[J].计算机技术与发展,2008,(06):115.
　YANG Ju-ying,LU Guang-hong.Study of Hierarchical Routing Protocols in Wireless Sensor Network[J].,2008,(12):115.
[9]黄海平 王汝传[] 孙力娟 蒋颢.基于父亲树的无线传感器网络路由协议[J].计算机技术与发展,2008,(08):4.
　HUANG Hai-ping,WANG Ru-chuan,SUN Li-juan,et al.Wireless Sensor Networks Rooting Protocol Based on Parent-Tree[J].,2008,(12):4.
[10]张军 王小明 杨涛.一种非均匀分布环境下的WMSNs路由协议[J].计算机技术与发展,2010,(07):84.
　ZHANG Jun,WANG Xiao-ming,YANG Tao.Nonuniform Distribution Environments Routing Protocol for Wireless Multimedia Sensor Networks[J].,2010,(12):84.

更新日期/Last Update: 2018-03-02