四川省教育厅青年基金(08zb025)
- 作品数：2 被引量：12H指数：2
- 相关作者：闫丽丽高悦翔彭代渊更多>>
- 相关机构：四川师范大学西南交通大学成都信息工程大学更多>>
- 发文基金：四川省教育厅青年基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- Ad hoc网络中认证路由协议的改进及其安全性分析被引量：4
- 2011年
- 提出了Ad hoc网络中的ARAN协议存在合谋和重放两种攻击。为了克服ARAN协议中的上述缺陷,给出了一个改进协议eARAN。改进协议在原有协议的基础上,在路由请求数据包中添加了发送该数据包的所有中间节点的身份,即路由路径,而目的节点要对最终得到的完整的路由路径进行签名,并将其作为路由响应数据包的一部分发回给发起节点,以此保证路由路径的正确性和完整性。最后,使用扩展后的串空间理论分析了改进协议eARAN的安全性,分析结果显示,eARAN协议是安全的。
- 闫丽丽彭代渊高悦翔
- 关键词：ADHOC网络形式化分析路由协议串空间
- 传感器网络安全协议的分析和改进被引量：8
- 2011年
- 分析A.Perrig提出的传感器网络安全协议套件的安全性,发现其中的节点密钥协商协议存在攻击,即攻击者可以冒充合法节点发送密钥协商请求。针对以上攻击,给出了一个改进协议。为了分析改进协议的安全性,对原始串空间理论进行了扩展,并使用扩展后的理论从保密性和认证性两个方面分析了改进协议的安全性。分析结果显示,改进后的协议是安全的。同时,对串空间理论的扩展,为其能够分析较复杂的安全协议打下了基础。
- 闫丽丽彭代渊高悦翔
- 关键词：无线传感器网络安全协议形式化分析串空间
