基于串空间的Ad Hoc安全路由协议攻击分析模型  

Attack Analysis Model on Ad Hoc Security Routing Protocol Based on Strand Space Model

作　　者：董学文[1] 马建峰[1,2] 牛文生[3] 毛立强[1] 谢辉[1] 

机构地区：[1]西安电子科技大学计算机学院,陕西西安710071 [2]西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071 [3]中国航空计算技术研究所,陕西西安710068

出　　处：《软件学报》2011年第7期1641-1651,共11页Journal of Software

基　　金：国家自然科学基金(60872041;61072066);国家科技部重大专项(2011ZX03005-002);中央高校基本科研业务费项目(JY10000903001;JY10000901034)

摘　　要：根据ad hoc安全路由协议的特点,分析串空间理论的优势和不足,并在串空间分析协议的基础上,设计出一种返回不存在路由的协议攻击分析模型.以扩展SRP协议为例,验证了模型的正确性.Based on the characteristics of ad hoe disadvantages of the strand space theory are analyzed security routing protocols （SRPs）, the advantages and An analysis model for protocol attacks, which leads to a nonexistent route that is accepted by the protocol, is designed on the basis of the strand space model. Finally, this paper demonstrates the usefulness of this model in the case of a security ad hoc routing protocol： Extended SRP.

关 键 词：串空间 攻击分析模型 不存在路由 SRP(security ROUTING protocol)协议 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]