Model checking the iKP electronic payment protocols.
Kazuhiro OgataPublished in: J. Inf. Secur. Appl. (2017)
Keyphrases
- model checking
- electronic payment
- temporal logic
- electronic commerce
- automated verification
- model checker
- formal specification
- formal verification
- temporal properties
- computation tree logic
- symbolic model checking
- agent mediated
- verification method
- bounded model checking
- transition systems
- communication protocols
- epistemic logic
- timed automata
- reactive systems
- privacy protection
- concurrent systems
- security protocols
- formal methods
- modal logic
- public key infrastructure
- planning domains
- artificial intelligence