calculus for the analysis of wireless network security protocols

FREE-DOWNLOADF Ballardin… , 2011
Abstract We propose a timed broadcasting calculus for wireless sys- tems. The operational semantics
of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled Transition
Seman- tics. We prove that the two semantics coincide. The labelled transition system is