A Timed Verification of the IEEE 1394 Leader Election Protocol.
Judi RomijnPublished in: Formal Methods Syst. Des. (2001)
Keyphrases
- colored petri nets
- petri net
- cryptographic protocols
- protocol specification
- model checker
- model checking
- formal analysis
- mac protocol
- formal proof
- medium access control
- formal verification
- timed automata
- wireless local area networks
- web services
- verification method
- link layer
- lightweight
- authentication protocol
- ad hoc networks
- mobility management
- mac layer
- physical layer
- security protocols
- wireless lan
- communication protocol
- formal methods
- presidential election