期刊论文、会议论文

Chen, W.(paney@126.com)

英文

Proceedings of 2011 International Conference on Electronic and Mechanical Engineering and Information Technology, EMEIT 2011

2011

8

4093-4096

2011 International Conference on Electronic & Mechanical Engineering and Information Technology(EMEIT 2011)(2011年机电工程与信息技术国际会议)

2011 International Conference on Electronic & Mechanical Engineering and Information Technology(EMEIT 2011)(2011年机电工程与信息技术国际会议)论文集

2011-08-12

哈尔滨

哈尔滨工业大学

10.1109/EMEIT.2011.6023953

本校为第一机构

In this paper, a formal analysis of security protocols for wireless sensor networks (WSN) is presented. Considering WSN environmental factors and features of the network nodes, we establish a model of SPINS (Security Protocols in wireless Sensor Networks) that is an example of WSN security protocols and analyze its authentication and confidentiality via the SPIN tool. Experimental results show that some security holes exist in SPINS. The work demonstrates the feasibility of model checking the security protocol for WSN, which provides a n...