Al-Refai, Hasan, and Khaldoun Batiha. “Enhancing Formal Specification and Verification of E-Commerce Protocol”. Journal of Advanced Computer Science & Technology 6, no. 1 (February 26, 2017): 13–19. Accessed May 5, 2024. https://sciencepubco.com/index.php/JACST/article/view/6713.