Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks
Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks
复制标题
自组织无线网络路由协议的形式验证方法
DOI：
10.1109/glocom.2007.137
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
F. Filali
中科院分区：
文献类型：
--
作者：
D. Câmara;A. Loureiro;F. Filali
本文介绍了一种技术，应用形式化的方法来验证协议的移动的ad hoc网络。与其他相关提案相比，我们的解决方案不试图对任何特定的网络配置进行建模。相反，我们的解决方案侧重于网络配置的行为造成的可能影响的路由协议的MANNETWORK。遵循这一策略，我们能够在一些成熟的协议中发现设计错误。所提出的技术使用形式验证，更具体地说，模型检查，以一种简单的方式，检测问题，如路由循环，传递消息失败和错误的协议状态机。
This paper describes a technique to apply formal methods to verify protocols for mobile ad hoc networks. In contrast to other related proposals, our solution does not attempt to model any particular network configuration. Instead, our solution focuses on the possible implications caused by network configurations to the behavior of a routing protocol for MANETs. Following this strategy we were able to find design errors in some well established protocols. The proposed technique uses formal verification, more specifically model checking, to detect, in a simple way, problems such as routing loops, delivery message failures and errors in the protocol state machine.