Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting.
Kim-Kwang Raymond ChooPublished in: CSFW (2006)
Keyphrases
- key exchange
- model checker
- ai planning
- model checking
- security analysis
- diffie hellman
- formal verification
- planning domains
- key exchange protocol
- formal methods
- password based authenticated key exchange
- temporal logic
- description language
- security properties
- formal specification
- secure communication
- planning problems
- heuristic search
- security requirements
- test suite
- integer programming
- key distribution
- digital signature
- set theory
- domain independent
- binary decision diagrams
- specification language
- encryption scheme
- data mining