Mulapnen Haruna, K.; Isaac Gungbias, H. An Enhanced Cloud Security Model through Z Formal Method. JoISSCCR 2025, 2, 1-13.