Mulapnen Haruna, K., and H. Isaac Gungbias. “An Enhanced Cloud Security Model through Z Formal Method”. Journal of Information Security System and Cyber Criminology Research, vol. 2, no. 1, Jan. 2025, pp. 1-13, doi:10.46610/JoISSCCR.2025.v02i01.001.