Ad-hoc路由协议的串空间安全性扩展  

Security Extension on Strand Space Model for Ad-hoc Routing Protocols

作　　者：董学文[1,2] 牛文生[3] 马建峰[1,2] 盛立杰[1] 

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

出　　处：《计算机科学》2011年第7期51-54,共4页Computer Science

基　　金：国家自然科学基金重点项目(60633020);国家自然科学基金项目(60573036;60702059;60503012;60872041);国家高技术研究发展计划(863)(2007AA01Z429);国家科技重大专项(2009ZX03004-003);中央高校基本科研业务费专项资金(JY10000903006;JY10000903012)资助

摘　　要：根据Ad-hoc移动网络特点,深入分析了串空间模型的一致性条件,提出路由五段式模型,将中继者可信条件修改为任意中继者可信条件,使串空间适用于Ad-hoc安全路由协议分析。然后以一个攻击实例验证路由五段式模型的正确性和优越性。Abstract based on the characteristics of Ad-hoc mobile network and detail analysis of the consistency condition in strand space model,a concept of five routing segments model was brought up and intermediator credibility condition was changed into the arbitrary intermediator credibility condition,thus the strand space model was adapted to the security analysis for Ad-hoc routing protocols.Then an attack was brought to verify the correctness and superiority of the five routing segments model.

关 键 词：串空间 安全协议 一致性条件 任意中继者可信条件 

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