Verification of protocol specificaitons using the CESAR system.
Jean-Claude FernandezJean-Luc RichierJacques VoironPublished in: PSTV (1985)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- lightweight
- formal proof
- formal verification
- colored petri nets
- case study
- authentication protocol
- communication protocol
- face verification
- concurrent systems
- signature verification
- real time
- formal methods
- network simulator
- verification method
- multi party
- multi agent
- petri net model