提出一种基于改进认证测试理论的高效安全协议验证算法---AAAP(Automatic Analyzer for Authentication Protocols)算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题,通过算法实现改进认证测试中的三条定理,从而证明安...提出一种基于改进认证测试理论的高效安全协议验证算法---AAAP(Automatic Analyzer for Authentication Protocols)算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题,通过算法实现改进认证测试中的三条定理,从而证明安全协议的安全属性。实验证明,该算法能够检测出Neuman-Stubblebine协议中存在的类型攻击,并在对NSL(Needham-Schroeder-Lowe)协议的证明中较其他几种经典算法具有更高的效率。展开更多
无线传感器网络是一种全新的信息获取和处理技术。节能、能量消耗平衡等是延长传感器网络寿命的关键。该论文在全面分析LEACH和LEACH-C路由协议的基础上,结合两者各自的优点,提出一种新的基于簇的路由协议改进方案LAC(LEACH and LEACH-C...无线传感器网络是一种全新的信息获取和处理技术。节能、能量消耗平衡等是延长传感器网络寿命的关键。该论文在全面分析LEACH和LEACH-C路由协议的基础上,结合两者各自的优点,提出一种新的基于簇的路由协议改进方案LAC(LEACH and LEACH-C)。该方案模拟仿真的结果显示,这个改进方案较其他方案能更好地提高了网络的寿命。展开更多
文摘提出一种基于改进认证测试理论的高效安全协议验证算法---AAAP(Automatic Analyzer for Authentication Protocols)算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题,通过算法实现改进认证测试中的三条定理,从而证明安全协议的安全属性。实验证明,该算法能够检测出Neuman-Stubblebine协议中存在的类型攻击,并在对NSL(Needham-Schroeder-Lowe)协议的证明中较其他几种经典算法具有更高的效率。
文摘无线传感器网络是一种全新的信息获取和处理技术。节能、能量消耗平衡等是延长传感器网络寿命的关键。该论文在全面分析LEACH和LEACH-C路由协议的基础上,结合两者各自的优点,提出一种新的基于簇的路由协议改进方案LAC(LEACH and LEACH-C)。该方案模拟仿真的结果显示,这个改进方案较其他方案能更好地提高了网络的寿命。