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), pp. 1–13. doi: 10.46610/JoISSCCR.2025.v02i01.001.