MULAPNEN HARUNA, K.; ISAAC GUNGBIAS, H. An Enhanced Cloud Security Model through Z Formal Method. Journal of Information Security System and Cyber Criminology Research, [S. l.], v. 2, n. 1, p. 1–13, 2025. DOI: 10.46610/JoISSCCR.2025.v02i01.001. Disponível em: https://matjournals.net/engineering/index.php/JoISSCCR/article/view/1333. Acesso em: 11 jun. 2026.