Protocol verification using flows: An industrial experience.
John W. O'LearyMurali TalupurMark R. TuttlePublished in: FMCAD (2009)
Keyphrases
- cryptographic protocols
- formal analysis
- protocol specification
- model checking
- lightweight
- coloured petri nets
- industrial applications
- model checker
- formal verification
- formal proof
- colored petri nets
- real time
- security protocols
- face verification
- user experience
- database
- authentication protocol
- formal methods
- ip address
- network devices
- industrial environment
- petri net