Game-Based Verification of Multi-Party Contract Signing Protocols.
Ying ZhangChenyi ZhangJun PangSjouke MauwPublished in: Formal Aspects in Security and Trust (2009)
Keyphrases
- multi party
- signature verification
- privacy preserving
- fair exchange protocols
- privacy preserving distributed data mining
- model checking
- description language
- sign language
- virtual humans
- mental states
- game based learning
- contractual obligations
- signature scheme
- search strategy
- audio video
- fair exchange
- source code
- supply chain