By Topic

Formal Verification of a Key Agreement Protocol for Wireless Sensor Networks

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Yue Li ; Sch. of Comput. Sci. & Technol., Donghua Univ., Shanghai, China ; Dehua Chen ; Newe, T.

Wireless sensor networks (WSNs) have gained much attention in both industry and research communities where they are expected to bring the interaction between humans, environment, and machines to a new level. Due to the resource constraints of sensors nodes, it is infeasible to use traditional key establishment techniques that find use in fixed communication systems. In recent years a number of group key agreement protocols have been proposed for resourcelimited wireless sensor devices. However, these protocols do not satisfy some important security properties such as mutual authentication and forward secrecy. In this paper, we propose a hybrid authenticated group key agreement protocol for WSNs. This hybrid protocol reduces the high cost public-key operations at the sensor side and replaces them with efficient symmetric-key based operations. In order to provide assurance that the proposed protocol is verifiably secure and trustworthy, a formal verification is performed on the protocol's design specification.

Published in:

Trust, Security and Privacy in Computing and Communications (TrustCom), 2012 IEEE 11th International Conference on

Date of Conference:

25-27 June 2012