Protocol verification with reactive Promela/Rspin.
Elie NajmFrank OlsenPublished in: The Spin Verification System (1996)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- formal verification
- coloured petri nets
- formal proof
- network protocols
- formal methods
- security protocols
- colored petri nets
- communication protocol
- authentication protocol
- real time
- face verification
- security analysis
- reactive systems
- formal specification
- intelligent agents
- electronic commerce
- lightweight
- neural network