Formal modelling and verification of the common hopping multi-channel MAC protocols.

Abdelaziz El Fatni Guy Juanole Thierry Val

Published in: MSWiM (2010)

Keyphrases

multi channel
formal methods
cryptographic protocols
single channel
model checking
anti aliasing
channel assignment
formal specification
mac protocol
data broadcast