Research Article

Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol

Figure 1

Structure of the method.
983204.fig.001