基于改进的串空间分析adhoc路由协议安全性

根据adhoc移动网络特点,重新定义了串空间中协议正常运行的一致性条件,在一致性条件中增加了中继可信条件,使串空间适用于adhoc安全路由协议分析.以srp协议为例进行协议分析,得出有价值的结果.