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 |
|
