A Compositional Protocol Verification Using Relativized Bisimulation
Kim Guldstrand LarsenRobin MilnerPublished in: Inf. Comput. (1992)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- coloured petri nets
- formal verification
- lightweight
- colored petri nets
- communication protocols
- tcp ip
- communication protocol
- real time
- authentication protocol
- verification method
- formal proof
- petri net model
- security protocols
- multi party
- network protocols
- petri net
- digital libraries