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