Formal Specification and Verification of a Secure Micropayment Protocol.
Mohamed G. GoudaAlex X. LiuPublished in: Int. J. Netw. Secur. (2008)
Keyphrases
- formal specification
- protocol specification
- model checker
- cryptographic protocols
- model checking
- formal methods
- specification languages
- concurrent systems
- process algebra
- object oriented design
- specification language
- formal verification
- covert channel
- communication protocols
- reverse engineering
- security protocols
- formal analysis
- scalar product
- standard model
- key distribution
- temporal logic
- authentication protocol
- software components
- information systems
- databases
- key management
- privacy preserving
- fine grained
- key exchange protocol
- database systems
- homomorphic encryption
- artificial intelligence