通信学报2009，Vol.30Issue(1)：38-44,7.
可证明安全的MANET按需源路由协议分析
Analysis of provably secure on-demand source routing in MANET
摘要
关键词
路由协议/可证明安全/形式化分析/模拟/隐蔽信道攻击分类
信息技术与安全科学引用本文复制引用
毛立强,马建峰,李兴华..可证明安全的MANET按需源路由协议分析[J].通信学报,2009,30(1):38-44,7.基金项目
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429,2007AA01Z405) （"863"计划）
国家自然科学基金重点资助项目(60633020) （60633020）
国家自然科学基金资助项目(60573036,60702059,60503012,60803150) （60573036,60702059,60503012,60803150）
