Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols

Figure 4

An unfair case of the protocol.