论文部分内容阅读
为了研究Adhoc移动网络路由协议安全性的分析方法，采用串空间理论对Adhoc移动网络路由协议的安全目标进行了形式化描述，提出了Adhoc移动网络路由协议的形式化分析方法，并采用该方法对安全路由协议SRP的安全性进行验证，结果发现了安全路由协议SRP的一个安全漏洞，说明采用串空间理论对Adhoc移动网络路由协议安全性进行分析是有效的。