Timed verification of the reliable adaptive multicast protocol.
Richard LaiTony TsangPublished in: J. Syst. Softw. (2007)
Keyphrases
- colored petri nets
- application layer
- petri net
- cryptographic protocols
- formal analysis
- protocol specification
- multicast routing protocol
- lightweight
- network layer
- model checking
- data dissemination
- model checker
- multicast routing
- ip multicast
- finite state machines
- security protocols
- formal verification
- end to end
- multicast tree
- formal proof