摘要
应用概率模型检测工具PRISM证实统计暴露攻击能够破坏ANODR协议的匿名性。为此改进ANODR协议的节点输出方式,提出全局同步发送策略和组同步发送策略。概率模型检测表明,组同步发送策略适应移动Ad Hoc网络匿名通信需求,可防范统计暴露攻击,并能提供低延迟,受节点移动影响小的匿名服务。
By using probabilistic model checking,this paper proves that anonymous protocol ANODR cannot provide anonymity under statistical disclosure attack.In light of this,the strategy for node output in ANODR is improved and global and grouped synchronization strategies are proposed.Checked by probabilistic model,the grouped synchronization strategy can meet the requirements of mobile ad hoc networks,defend statistical disclosure attack,provide low-latency communication immune to mobility.
出处
《广西科学院学报》
2007年第4期270-274,共5页
Journal of Guangxi Academy of Sciences
基金
广西研究生教育创新计划项目(2007105950812M17)资助
关键词
统计暴露攻击
匿名通信
移动AD
HOC
概率模型检测
statistical disclosure attack,anonymous communication,mobile Ad Hoc networks,probabilistic model checking