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