Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW).  use a finite-state tool, MOCHA, which allows specification of protocol properties in a branching-time temporal logic with game semantics. While our analysis does not reveal any errors in the BW protocol, in the GM protocol  discover serious problems with fairness for four signers and an oversight regarding abuse-freeness for three signers.  propose a complete revision of the GM subprotocols in order to restore fairness.
['Rohit Chadha', 'S. Kramer', 'Andre Scedrov']
I am writing a research paper on a idea Formal analysis of multi-party contract signing
[{"from": "human", "value": "I am writing a research paper on a idea Formal analysis of multi-party contract signing"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW).  use a finite-state tool, MOCHA, which allows specification of protocol properties in a branching-time temporal logic with game semantics. While our analysis does not reveal any errors in the BW protocol, in the GM protocol  discover serious problems with fairness for four signers and an oversight regarding abuse-freeness for three signers.  propose a complete revision of the GM subprotocols in order to restore fairness."}]