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