Mulapnen Haruna, Kassem, and Hosea Isaac Gungbias. 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.