|
|||||
|
|
| 传感器网络安全协议的分析和改进 | |
| 引用本文： | 闫丽丽,彭代渊,高悦翔.传感器网络安全协议的分析和改进[J].通信学报,2011,32(5):139-145. |
| 作者姓名： | 闫丽丽 彭代渊 高悦翔 |
| 作者单位： | 1. 西南交通大学信息安全与国家计算网格实验室,四川,成都,610031;成都信息工程学院网络工程学院,四川,成都,610225 2. 西南交通大学信息安全与国家计算网格实验室,四川,成都,610031 3. 西南交通大学信息安全与国家计算网格实验室,四川,成都,610031;四川师范大学计算机科学学院,四川,成都,610068 |
| 基金项目： | 四川省教育厅青年基金资助项目(08zb025)~~ |
| 摘 要： | 分析A.Perrig提出的传感器网络安全协议套件的安全性,发现其中的节点密钥协商协议存在攻击,即攻击者可以冒充合法节点发送密钥协商请求。针对以上攻击,给出了一个改进协议。为了分析改进协议的安全性,对原始串空间理论进行了扩展,并使用扩展后的理论从保密性和认证性两个方面分析了改进协议的安全性。分析结果显示,改进后的协议是安全的。同时,对串空间理论的扩展,为其能够分析较复杂的安全协议打下了基础。 |
| 关 键 词： | 无线传感器网络 安全协议 形式化分析 串空间 |
Analysis and improvement of sensor networks security protocol |
|
| YAN Li-li,PENG Dai-yuan,GAO Yue-xiang.Analysis and improvement of sensor networks security protocol[J].Journal on Communications,2011,32(5):139-145. | |
| Authors: | YAN Li-li PENG Dai-yuan GAO Yue-xiang |
| Affiliation: | YAN Li-li1,2,PENG Dai-yuan1,GAO Yue-xiang1,3(1.Information Security and National Computing Grid Laboratory,Southwest Jiaotong University,Chengdu 610031,China,2.Department of Network Engineering,Chengdu University of Information Technology,Chengdu 610225,3.Department of Computer Science,Sichuan Normal University,Chengdu 610068,China) |
| Abstract: | A suit of security protocols for sensor networks was presented by A.Perrig.The security of the protocols was analyzed,and then one attack had been found in the two-party key agreement protocol that a false request message from an intruder.In that case,the intruder impersonates the node and creates false requests.An improved protocol to this attack was proposed.The security of improved protocol was analyzed by the extended strand spaces,where two main security properties,authenticity and confidentiality,were... |
| Keywords: | wireless sensor networks security protocols formal analysis strand spaces |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《通信学报》浏览原始摘要信息 | |
| 点击此处可从《通信学报》下载全文 | |