Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG.
Duong Dinh TranKazuhiro OgataPublished in: SEKE (2020)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- bounded model checking
- cryptographic protocols
- symbolic model checking
- automated verification
- state machines
- high level
- program slicing
- lightweight
- temporal logic
- formal methods
- formal specification
- description language
- security analysis
- higher level