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