Y. Zou, “Automated Reasoning and Technological Innovation in Cloud Computing Security”, Econ. Manag. Innov., vol. 2, no. 6, pp. 25–32, Nov. 2025, doi: 10.71222/mkf1wm07.