路由协议的自动形式化验证方法研究

• 作者: 严俊琦 黄吴丹
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 路由协议 形式化验证 模型检验 定理证明
• 年，卷（期）: 2017,（12）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 1-6
• 页数: 6页
• 分类号: TP301
• 字数: 6614字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2017.12.001

摘要

路由协议被广泛部署于因特网中用来进行路由信息的交换与路径的选择,确保路由协议正确、安全的运行是计算机网络的基础问题之一.近年来,形式化验证已成功应用于协助路由协议的设计和实现,形式化方法的使用能够找到软件测试过程中难以发现的系统缺陷,从而有效地提高系统的安全性.主要介绍了自动形式化验证的几类主要技术基础:模型检验、定理证明和等价性验证.总结了自动形式化验证路由协议的方法和优缺点以及它们在各个方面的研究进展和使用状况,为相关方向的研究者在使用形式化方法验证路由协议时提供了参考依据.最后总结了该领域的研究状况,并对未来研究热点进行了预测和展望,提出了一些可行的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	严俊琦	南京航空航天大学计算机科学与技术学院	2	2	1.0	1.0
2	黄吴丹	南京航空航天大学计算机科学与技术学院	3	5	2.0	2.0