一种典型MANET匿名路由协议的分析与改进

鉴于现有MANET匿名路由协议中不明确的敌手模型、未知安全性的密码学原语以及非严格的分析方法不能提供协议匿名性的信任,因此,对其中一种有代表性的匿名DSR进行了分析与改进,先从定义敌手攻击能力的角度明确敌手模型,并以数据分组与端节点不可关联性为目标定义协议的理想过程.然后,在路由发现阶段获得由UC安全的会话密钥组成的路径,在数据传输阶段用该密钥构造可验证的轻型路由洋葱.最后,在UC框架中基于理想过程证明协议的匿名性.

Formal Treatment of an Anonymous On-Demand Routing Protocol in MANETs

Existing anonymous routing protocols have only had unsatisfactory anonymity analysis in MANETs,because adversarial models have not been given exactly,the security definition of cryptographic primitives have not been described,and rigorous proofs are lacking.To address this problem a typical anonymous dynamic source routing protocol is improved,and the formal treatment of this protocol is then proposed in this paper.The static attack power is defined for adversarial models to clarify the capacity of adversar...