A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks

Details A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks

2011-09-23

arxiv.org/abs/1109.5088v1

Computer Science

Cryptography and Security

51 pages

Scientific paper

We propose a simple timed broadcasting process calculus for modelling wireless network protocols. The operational semantics of our calculus is given in terms of a labelled transition semantics which is used to derive a standard (weak) bi-simulation theory. Based on our simulation theory, we reformulate Gorrieri and Martinelli's timed Generalized Non-Deducibility on Compositions (tGNDC) scheme, a well-known general framework for the definition of timed properties of security protocols. We use tGNDC to perform a semantic analysis of three well-known key management protocols for wireless sensor networks: \mu TESLA, LEAP+ and LiSP. As a main result, we provide a number of attacks to these protocols which, to our knowledge, have not yet appeared in the literature.

Affiliated with

Also associated with

No associations

Rating

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-724270