Algebraic Formalization and Verification of PKMv3 Protocol using Maude.
Jia SheXiaoran ZhuMin ZhangPublished in: SEKE (2017)
Keyphrases
- formal analysis
- protocol specification
- cryptographic protocols
- formal specification
- model checker
- model checking
- formal proof
- formal methods
- formal verification
- coloured petri nets
- formal model
- knowledge representation
- asynchronous circuits
- tcp ip
- standard model
- higher order
- elliptic curve
- verification method
- lightweight
- multi agent