A Semantic Analysis of Wireless Network Security Protocols

Free registration required

Executive Summary

Gorrieri and Martinelli's tGNDC schema is a well-known general framework for the formal verification of security protocols in a concurrent scenario. The authors generalise the tGNDC schema to verify wireless network security protocols. Their generalisation relies on a simple timed broadcasting process calculus whose operational semantics is given in terms of a labelled transition system which is used to derive a standard simulation theory. They apply their tGNDC framework to perform a security analysis of LiSP, a well-known key management protocol for wireless sensor networks.

  • Format: PDF
  • Size: 330.19 KB