On the use of the HOL system for Protocol Verification.
Rachel Cardell-OliverPublished in: TPHOLs (1991)
Keyphrases
- model checker
- formal methods
- model checking
- cryptographic protocols
- formal analysis
- protocol specification
- formal verification
- formal proof
- temporal logic
- theorem prover
- formal specification
- petri net
- coloured petri nets
- lightweight
- test suite
- petri net model
- security analysis
- colored petri nets
- verification method
- signature verification
- real time
- end to end
- neural network
- application layer
- false acceptance rate
- network protocols
- face verification
- theorem proving
- functional verification