Symbolic path-based protocol verification.
Wen Chien LiuChyan-Goei ChungPublished in: Inf. Softw. Technol. (2000)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- colored petri nets
- lightweight
- authentication protocol
- formal proof
- formal verification
- communication protocol
- coloured petri nets
- network protocols
- security protocols
- high level
- application layer
- standard model
- communication protocols
- asynchronous circuits
- connectionist systems
- file transfer