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

Figure 2

Regular strand of TTP.