Analysis and improvement of sensor networks security protocol

YAN Li-li1; PENG Dai-yuan1; GAO Yue-xiang1

您当前的位置：

首页 >

文章列表页 >

Analysis and improvement of sensor networks security protocol

更新时间：2024-10-14

- Analysis and improvement of sensor networks security protocol
- Vol. 32, Issue 5, Pages: 139-145(2011)
- 作者机构：
  
  1. 西南交通大学信息安全与国家计算网格实验室
  2. 成都信息工程学院网络工程学院
  3. 四川师范大学计算机科学学院
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN918.82;TP212.9
- Published：2011
- 稿件说明：
移动端阅览
YAN Li-li1, PENG Dai-yuan1, GAO Yue-xiang1. Analysis and improvement of sensor networks security protocol[J]. 2011, 32(5): 139-145.
DOI：

YAN Li-li1, PENG Dai-yuan1, GAO Yue-xiang1. Analysis and improvement of sensor networks security protocol[J]. 2011, 32(5): 139-145. DOI：

摘要

分析A.Perrig提出的传感器网络安全协议套件的安全性

发现其中的节点密钥协商协议存在攻击

即攻击者可以冒充合法节点发送密钥协商请求。针对以上攻击

给出了一个改进协议。为了分析改进协议的安全性

对原始串空间理论进行了扩展

并使用扩展后的理论从保密性和认证性两个方面分析了改进协议的安全性。分析结果显示

改进后的协议是安全的。同时

对串空间理论的扩展

为其能够分析较复杂的安全协议打下了基础。

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 checked.And the analysis proves the correctness of the protocol.The extended strand spaces also gives a practical base for further application of strand spaces in analyzing complicated protocols.

关键词

Keywords

references

Views

937

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Analysis and improvement of the BACnet/IP based on identity authentication

Formal modeling and security analysis method of security protocol based on CPN

Coverage control algorithm for wireless sensor networks based on non-cooperative game

State-of-the-art survey of privacy-preserving data aggregation in wireless sensor networks

Security analysis of security protocol Swift implementations based on computational model

Related Author

Pengshou XIE

Jiafeng ZHU

Yongping KANG

Tao FENG

Wei LI

Yuxiang RAN

Xiang GONG

Tao FENG

Related Institution

School of Computer and Communications, Lanzhou University of Technology

School of Mechanical and Electrical Engineering, Lanzhou University of Technology

School of Computer and Communication, Lanzhou University of Technology

College of Information Science and Engineering, Yanshan University

The Key Laboratory for Special Fiber and Fiber Sensor of Hebei Province,Yanshan University

AI问答

⁰