Formal Specification and Verification of a Micropayment Protocol.
Mohamed G. GoudaAlex X. LiuPublished in: ICCCN (2004)
Keyphrases
- formal specification
- protocol specification
- model checker
- model checking
- specification language
- formal methods
- specification languages
- concurrent systems
- object oriented design
- process algebra
- formal analysis
- cryptographic protocols
- reverse engineering
- data abstraction
- temporal logic
- formal verification
- communication protocols
- formal specification language
- building blocks
- artificial intelligence
- software components
- test cases
- database systems
- databases