Abstract: In anonymous communication of MANET, both encryption and MIX strategies are used to defend attacks according to contents and communication pattern. This paper analyzes several known MIX strategies in MANET by probabilistic model check. Results show that these strategies can not defend passive attacks as statistical disclosure attack. In addition, the anonymity, average delay and overhead provided by them would be affected by mobility. Synchronization strategy is proposed. The method has better anonymity, low-latency and little influence by mobility.

Key words: anonymous communication, probabilistic model check, MIX strategies

摘要： 在MANET匿名通信中，使用加密等技术防止攻击者通过消息内容进行匿名攻击，并采用MIX输出策略防范攻击者根据通信模式进行的匿名攻击。基于概率模型检测方法，该文分析几种典型的MIX输出策略在MANET中的应用。结果显示，这几种策略无法防范统计暴露攻击等被动攻击，且防范攻击的能力、平均时延和开销等性能会受到移动性的影响。该文提出同步发送的MIX输出策略，能更好地防御匿名攻击，具有延迟低、受节点移动影响小的特点。

关键词: 匿名通信, 概率模型检验, MIX策略

CLC Number: 

• TP309