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