The Leader Election Protocol of IEEE 1394 in Maude.

Alberto Verdejo Isabel Pita Narciso Martí-Oliet

Published in: WRLA (2000)

Keyphrases

medium access control
mac protocol
lightweight
wireless local area networks
physical layer
wireless local area network
wireless networks
link layer
authentication protocol
communication protocol
wireless sensor networks
formal analysis
cryptographic protocols
wireless lan