A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks

Francesco Ballardin, Damiano Macedonio, Massimo Merro +1

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 transiti…