Text this: Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols