2024. Enhancing Computer Security through Formal Verification of Cryptographic Protocols Using Model Checking and Partial Order Techniques. The Asian Bulletin of Big Data Management . 4, 02 (Jun. 2024), Data Science 4(2), 225–238. DOI:https://doi.org/10.62019/abbdm.v4i02.176.