Formalization and Verification of the PKMv3 Protocol Using CSP.
Yuanmin XuHuibiao ZhuXiaoran ZhuXi WuJian GuoGang LuPublished in: COMPSAC (1) (2017)
Keyphrases
- formal analysis
- cryptographic protocols
- protocol specification
- constraint satisfaction problems
- model checker
- model checking
- formal verification
- colored petri nets
- lightweight
- formal methods
- formal proof
- petri net
- knowledge representation
- np hard
- arc consistency
- constraint satisfaction
- verification method
- constraint solving
- solving constraint satisfaction problems
- formal specification
- constraint programming
- tcp ip
- decomposition methods
- formal model
- security protocols
- constraint propagation
- communication protocol
- operational semantics
- tree decomposition
- temporal logic
- wireless networks
- face verification
- constraint networks