Research Article
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol
Table 3
The unfairness trace of the four-party GM protocol.
| GM protocol | State 0 | State 1 | State 2 | State 3 | State 4 |
| P4__Recovery_3_3_3 | False | False | False | False | True | P3__abort | False | True | True | True | True | P2__Recovery_1_1_2 | False | False | True | True | True | P1__Recovery_1_3_3 | False | False | False | True | True | T_Abort_Send_P4 | False | False | False | False | False | T_Recovery_Send_P4 | False | False | False | False | True | T_Abort_Send_P3 | False | True | True | True | True | T_Abort_Send_P2 | False | False | True | True | True | T_Abort_Send_P1 | False | False | False | True | True | goals1 | False | False | False | False | True | goals2 | False | False | False | False | False | Fairness | YES | YES | YES | YES | NO |
|
|