Al-Refai, H., & Batiha, K. (2017). Enhancing formal specification and verification of e-commerce protocol. Journal of Advanced Computer Science & Technology, 6(1), 13-19. https://doi.org/10.14419/jacst.v6i1.6713