移动自组网路由协议研究

Research on Routing Protocols of Mobile Ad Hoc Networks

对自组网路由协议的性能测试和形式化分析这两种主要的验证方法进行了比较,分析了自组网路由协议的形式化分析特性,给出了协议形式化分析方案的框架。

This paper compares two main verification methods, the performance test and formal analysis, of mobile ad hoc networks routing protocol, analyzes the features of formal analysis of ad hoc networks routing protocol, and gives the framework of formal analysis scheme of protocol.