Research Article
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol
Algorithm 1
The state reduction algorithm.
Procedure StateReduction(trans) | (1) for to length(trans) | (2) do if (vaildate(trans[]) = 1 exishon())∣∣(trans[i].mark = 0) | (3) then delete(trans[]) | (4) for to length(trans) | (5) do if (trans[i].state2 = trans[j].state2) && () | (6) then .state1 ←trans[i]state1 + trans[j].state1 | (7) delete(trans[]) | (8) for to | (9) do for to | (10) do if () && () | (11) then , | (12) end |
|