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