Protocol Verification with the ALDÉBARAN Toolset.
Marius BozgaJean-Claude FernandezAlain KerbratLaurent MounierPublished in: Int. J. Softw. Tools Technol. Transf. (1997)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- formal proof
- lightweight
- formal verification
- colored petri nets
- coloured petri nets
- communication protocols
- communication protocol
- authentication protocol
- fingerprint verification
- application layer
- formal specification
- real time
- signature verification
- security protocols
- formal methods
- temporal logic
- verification method
- petri net
- database systems
- databases
- data sets