Managing Security Policies within Cloud Environments Using Aspect-Oriented State Machines | IEEE Conference Publication | IEEE Xplore