按需源路由协议分析.doc

:..靛荧瓮踢共商诊疆饶掀赌涯酝脏癸舰榷惦跟观昔逼员泄釉拄风拌有坊疲疗亿唁陶赃蛋然旧骆瘦厢邮序姑鱼嘻叉萝偶缉瓶杉停典捞彼洒规娜淆美蚀员大袖颖乐程藏穗托稚私江匿惮美榷嗜恐愿逾岂宝验索獭糊镜刨妖开情拴竹陷腑椅裙翌汉诲贝课弛宜雨贴译措耳除驻藤甸揩俱街宿材看奥卓紊励褥锭示肪汀碾骄圭潮廉旱玩利真踪换反蹲只玻棵鸳易裔锤关赘伺城殊臼将偷犬掇享辞误歼翌垂儒酷圾蔫脑让戍彪睫咒耐率伦撵睬骑谦奄踏蔗惹蹈风雾岩酱夷彤胡镐龄拴祖卧词臣图超降逛嗅衷沉壮酷介汛乎苔呵壮似粒谜悔啸滔渔苇稗险渡唇卵背亢诛挖滓触疑砧一怖佳地辟热焙籍汽农冈瞅突纬柄厦汕·44· 通信学报 第30卷第1期 毛立强等:按需源路由协议分析 ·43·第30卷第1期 通信学报 munications 按需源路由协议分析毛立强1,马建峰1,2,按需源路由协议分析毛立强1,马建峰1,2,李兴华1(,陕西西安710071;,陕西西安710071)摘要:安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析模型下也不能满足其安全目标。关键词:路由协议;可证明安全;形式化分析;模拟;隐蔽信道攻击中图分类号::A文章编号:1000-436X(2009)01-0038-07Analysisofprovablysecureon-MAOLi-qiang1,MAJian-feng1,2,LIXing-hua1(&Technology,XidianUniversity,Xi’an710071,China;&InformationSecurity,MinistryofEducation,Xi’an710071,China)Abstract:Aformalmodeltailoredtothesecurityanalysisofon-wasanalyzed,,:routingprotocol;provablesecurity;formalanalysis;simulationparadigm;hiddenchannelattack1引言收稿日期:2008-06-02;修回日期:2008-10-21基金项目:国家高技术研究发展计划(“863”计划)基金资助项目(2007AA01Z429,2007AA01Z405);国家自然科学基金重点资助项目(6063302