%0 Journal Article
%T 基于改进的串空间分析adhoc路由协议安全性
%A 王继志？
%A 王英龙？
%J 软件学报
%P 256-261
%D 2006
%X 根据adhoc移动网络特点,重新定义了串空间中协议正常运行的一致性条件,在一致性条件中增加了中继可信条件,使串空间适用于adhoc安全路由协议分析.以srp协议为例进行协议分析,得出有价值的结果.
%K 串空间
%K 安全协议
%K 一致性条件
%K 中继可信条件
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=2006s132&flag=1