“Enhancing Computer Security through Formal Verification of Cryptographic Protocols Using Model Checking and Partial Order Techniques”. The Asian Bulletin of Big Data Management 4, no. 02 (June 4, 2024): Data Science 4(2), 225–238. Accessed December 10, 2025. https://abbdm.com/index.php/Journal/article/view/176.