An Approach to Verification and Validation of a Reliable Multicasting Protocol.
John R. CallahanTodd L. MontgomeryPublished in: ISSTA (1996)
Keyphrases
- multicast routing protocol
- data dissemination
- cryptographic protocols
- protocol specification
- key distribution
- model checking
- model checker
- interprocess communication
- formal analysis
- formal verification
- sensor networks
- colored petri nets
- message delivery
- lightweight
- authentication protocol
- data sharing
- signature verification
- security analysis
- formal specification
- multicast routing
- multi user