Toward Automated Security Analysis and Enforcement for Cloud Computing Using Graphical Models for Security. - SeongMo An; Asher Leung; Jin B. Hong; Taehoon Eom; Jong Sou Park (IEEE Access, 2022)