Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- formal analysis
- model checking
- formal proof
- formal verification
- reference model
- lightweight
- formal methods
- authentication protocol
- communication protocol
- tcp ip
- colored petri nets
- communication protocols
- web services
- functional verification
- database systems
- asynchronous circuits
- fingerprint verification
- formal specification
- genetic algorithm
- standard model
- security analysis