Mulapnen Haruna, Kassem, and Hosea Isaac Gungbias. “An Enhanced Cloud Security Model through Z Formal Method”. Journal of Information Security System and Cyber Criminology Research 2, no. 1 (January 23, 2025): 1–13. Accessed June 11, 2026. https://matjournals.net/engineering/index.php/JoISSCCR/article/view/1333.