Game-based verification of contract signing protocols with minimal messages.
Ying ZhangChenyi ZhangJun PangSjouke MauwPublished in: Innov. Syst. Softw. Eng. (2012)
Keyphrases
- signature verification
- message delivery
- messages exchanged
- cryptographic protocols
- contractual obligations
- model checking
- learning tools
- learning systems
- supply chain
- digital educational games
- dynamic time warping
- game based learning
- asynchronous circuits
- signature scheme
- multi party
- face verification
- board game
- high security
- session initiation protocol
- database systems