论文部分内容阅读
安全协议是许多分布式系统安全的基础，也是MANET网络的基础，确保MANET路由协议的安全运行是极为重要的。对于MANET的特点，设计一个可靠的安全路由协议是必须的，也是一个艰巨的任务，但大多数的安全路由协议都是通过模拟结果来进行解释的，缺乏严格形式化分析来确保其安全属性。在传统的安全属性中，加密协议已经被形式化分析许多年了，然而去形式化分析移动adhoc网路由协议的工作并没有出现已成熟的方法和理论的文献。论文针对SRP（secure routing protocol）协议模型用SPI演算做出形式化分析，