Enhancing Computer Security through Formal Verification of Cryptographic Protocols Using Model Checking and Partial Order Techniques. The Asian Bulletin of Big Data Management , [S. l.], v. 4, n. 02, p. Data Science 4(2), 225–238, 2024. DOI: 10.62019/abbdm.v4i02.176. Disponível em: https://abbdm.com/index.php/Journal/article/view/176. Acesso em: 10 dec. 2025.