Formal Verification and Improvement of the PKMv3 Protocol Using CSP.
Jinpeng JiangHongyan MaoRumeng ShaoYuanmin XuPublished in: COMPSAC (2) (2018)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- constraint satisfaction problems
- cryptographic protocols
- bounded model checking
- automated verification
- symbolic model checking
- constraint programming
- temporal logic
- constraint propagation
- program slicing
- constraint satisfaction
- decomposition methods
- tree decomposition
- expert systems
- formal methods
- constraint networks
- artificial intelligence