1. Alaraj, A.: Fairness in physical products delivery protocol. Int. J. Comput. Netw. Commun. (IJCNC) 4(6), 99 (2012)
2. Lecture Notes in Computer Science;A Armando,2004
3. Asokan, N.: Fairness in electronic commerce. Ph.D. thesis, University of Waterloo, Canada (1998)
4. AVISPA Team: AVISPA v1.1 User Manual. Version: 1.1 (2006). http://www.avispa-project.org/
5. AVISPA Team: HLPSL Tutorial: A Beginner’s Guide to Modelling and Analysing Internet Security Protocols. Version: 1.1 (2006). http://www.avispa-project.org/