Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM.
Conrado DawsMarta Z. KwiatkowskaGethin NormanPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- mac protocol
- media access control
- medium access control
- wireless local area networks
- network congestion
- lightweight
- mobility management
- physical layer
- ad hoc networks
- concurrency control
- formal analysis
- tree structure
- network simulator
- intelligent agent technology
- multi party
- security protocols
- tcp ip
- cryptographic protocols