K. Mulapnen Haruna and H. Isaac Gungbias, “An Enhanced Cloud Security Model through Z Formal Method”, JoISSCCR, vol. 2, no. 1, pp. 1–13, Jan. 2025.