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