Game-Based Verification of Multi-Party Contract Signing Protocols

A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and of Mauw, Radomirovi

• Type: Journal
• Year: 2009
• Where: IFIP
• Authors: Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
• Keywords: IFIP 2009, Minimal Message, Model Checker Mocha, Mrt Protocols, Programming Languages