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 August 17, 2025. https://mail.sciencepubco.com/index.php/JACST/article/view/6713.