Toward Automated Security Analysis and Enforcement for Cloud Computing Using Graphical Models for Security | IEEE Journals & Magazine | IEEE Xplore