Al-Refai H, Batiha K. Enhancing formal specification and verification of e-commerce protocol. JACST [Internet]. 2017 Feb. 26 [cited 2025 Aug. 17];6(1):13-9. Available from: https://mail.sciencepubco.com/index.php/JACST/article/view/6713