Cloud Security Auditing Based on Behavioral Modeling | IEEE Conference Publication | IEEE Xplore