Mr. P. Murali Krishna, et al. “CHECKING SECURITY PROPERTIES OF CLOUD SERVICE”. International Journal of AI Electrical Civil and Mechanical Engineering, vol. 2, no. 2, Apr. 2026, pp. 107-11, https://doi.org/10.64751/mg2fgv65.