Enhancing Computer Security through Formal Verification of Cryptographic Protocols Using Model Checking and Partial Order Techniques. ABBDM [Internet]. 2024 Jun. 4 [cited 2025 Dec. 10];4(02):Data Science 4(2), 225-238. Available from: https://abbdm.com/index.php/Journal/article/view/176