Secure Cloud Storage Service for Detection of Security Violations

A cloud storage service implements security mechanisms to protect users' data. Moreover, due to the loss of control over the cloud infrastructure, it is essential to demonstrate its security, increasing the trust and transparency in cloud services. However, an analysis of the literature reveals flaws in existing solutions that do not identify all violations. Then, a secure storage service for cloud computing is proposed to address these issues, combining different security mechanisms. The proposed solution includes auditing and monitoring mechanisms to detect and prove violations of security properties. Moreover, Colored Petri Nets (CPNs) are used for evaluation. As results, the violation detection is improved, and the provider cannot deny the identified violations.