Experience with automated Protocol Verification.
Carl A. SunshinePublished in: Protocol Specification, Testing, and Verification (1983)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- semi automated
- model checking
- database
- user experience
- formal proof
- formal verification
- coloured petri nets
- authentication protocol
- automated analysis
- neural network
- communication protocol
- tcp ip
- security protocols
- high security
- colored petri nets
- network protocols
- temporal logic
- genetic algorithm