计算机工程2010，Vol.36Issue(10)：165-167,3.
ANODR匿名路由协议的安全性验证
Security Verification for ANODR Anonymity Routing Protocol
摘要
关键词
匿名路由/逻辑证明/安全协议分类
信息技术与安全科学引用本文复制引用
李沁,曾庆凯..ANODR匿名路由协议的安全性验证[J].计算机工程,2010,36(10):165-167,3.基金项目
国家自然科学基金资助项目(60773170, 60721002, 90818 022) （60773170, 60721002, 90818 022）
国家"863"计划基金资助项目(2006AA01Z432) （2006AA01Z432）
高等学校博士学科点专项科研基金资助项目(200802840002) （200802840002）
