Key exchange protocol for wireless sensor network: Formal verification using CSN modal logic

Yue Li, Thomas Newe

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Due to the growth of Wireless Sensor Networks (WSN), many advanced applications such as industry process monitoring, patient monitoring and public service communications have been deployed. Security of data will be an important factor for their full adoption. Efficient key exchange protocols are required for Security of large scale densely deployed wireless networks of resource limited sensor nodes. Huang et al. proposed a hybrid authenticated key exchange protocol for secure communication between a sensor and a security manager in WSN. In order to provide assurance that these protocols are verifiably secure and trustworthy it is necessary to perform a formal verification on their design specifications. In this paper Huang et al.'s protocol is discussed and a formal verification is performed using the Coffey-Saidha-Newe (CSN) modal logic. As a result of this verification a modification is suggested to improve the protocol security.

Original languageEnglish
Title of host publication2008 IEEE Sensors Applications Symposium, SAS-2008 - Proceedings
PublisherIEEE Computer Society
Pages193-198
Number of pages6
ISBN (Print)9781424419630
DOIs
Publication statusPublished - 2008

Publication series

Name2008 IEEE Sensors Applications Symposium, SAS-2008 - Proceedings

Keywords

  • Authentication
  • Formal verification
  • Modal logic
  • Wireless networks

Fingerprint

Dive into the research topics of 'Key exchange protocol for wireless sensor network: Formal verification using CSN modal logic'. Together they form a unique fingerprint.

Cite this