Research Article
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol
Table 4
The unfairness trace of the five-party CKS protocol.
| Revised GM protocol | State 0 | State 1 | State 2 | State 3 | State 4 | State 5 |
| P5_abort | False | True | True | True | True | True | P4__Recovery_5_4_4_4 | False | False | False | True | True | True | P3__Recovery_6_6_5_5 | False | False | False | False | False | True | P2__Recovery_5_5_5_5 | False | False | False | False | True | True | P1__Recovery_1_4_4_4 | False | False | True | True | True | True | T_Abort_Send_P5 | False | True | True | True | True | True | T_Abort_Send_P4 | False | False | False | True | True | True | T_Abort_Send_P3 | False | False | False | False | False | True | T_Abort_Send_P2 | False | False | False | False | True | True | T_Abort_Send_P1 | False | False | True | True | True | True | goals1 | False | False | False | False | False | True | goals2 | False | False | False | False | False | False | Fairness | YES | YES | YES | YES | YES | NO |
|
|