Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.
Hans ToetenelR. F. Lutje SpelbergG. BandiniPublished in: RTCSA (2000)
Keyphrases
- mac protocol
- cryptographic protocols
- protocol specification
- media access control
- model checker
- formal analysis
- model checking
- medium access control
- formal proof
- wireless local area networks
- communication protocols
- ad hoc networks
- formal verification
- lightweight
- link layer
- colored petri nets
- formal methods
- communication protocol
- wireless sensor networks
- network congestion
- mobility management
- physical layer
- tcp ip
- energy efficient
- tree structure
- wireless lan
- application layer
- mac layer
- multi channel
- concurrency control
- energy consumption
- authentication protocol
- face verification
- formal specification
- security protocols
- petri net