Enhancing Computer Security through Formal Verification of Cryptographic Protocols Using Model Checking and Partial Order Techniques. ABBDM. 2024;4(02):Data Science 4(2), 225-238. doi:10.62019/abbdm.v4i02.176