Mulapnen Haruna, K. and Isaac Gungbias, H. 2025. An Enhanced Cloud Security Model through Z Formal Method. Journal of Information Security System and Cyber Criminology Research. 2, 1 (Jan. 2025), 1–13. DOI:https://doi.org/10.46610/JoISSCCR.2025.v02i01.001.