Al-Refai, H.; Batiha, K. Enhancing Formal Specification and Verification of E-Commerce Protocol. JACST 2017, 6 (1), 13-19. https://doi.org/10.14419/jacst.v6i1.6713.