Path-based protocol verification approach.
Wen Chien LiuChyan-Goei ChungPublished in: Inf. Softw. Technol. (2000)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- formal proof
- model checking
- formal verification
- lightweight
- formal methods
- communication protocol
- application layer
- communication protocols
- verification method
- coloured petri nets
- authentication protocol
- colored petri nets
- tcp ip
- file transfer
- digital libraries