作者：王英龙; 徐东红; 王美琴; 高仲合安全路由协议安全性移动自主网spi演算srp抽象解释
摘要：安全协议是许多分布式系统安全的基础，也是MANET网络的基础，确保MANET路由协议的安全运行是极为重要的。对于MANET的特点，设计一个可靠的安全路由协议是必须的，也是一个艰巨的任务，但大多数的安全路由协议都是通过模拟结果来进行解释的，缺乏严格形式化分析来确保其安全属性。在传统的安全属性中，加密协议已经被形式化分析许多年了，然而去形式化分析移动adhoc网路由协议的工作并没有出现已成熟的方法和理论的文献。论文针对SRP（secure routing protocol）协议模型用SPI演算做出形式化分析，在论文提出的攻击者进程模型下，可以推导出SRP产生一定的脆弱性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
