Contemporary societies are increasingly dependent on products and services provided by
Critical Infrastructure (CI) such as power plants, energy distribution networks, transportation …

The broadening dependency and reliance that modern societies have on essential services
provided by Critical Infrastructures is increasing the relevance of their trustworthiness …

Cloud service providers typically adopt the multi-tenancy model to optimize resources usage
and achieve the promised cost-effectiveness. Sharing resources between different tenants …

Cloud computing is emerging as a promising IT solution for enabling ubiquitous, convenient,
and on-demand accesses to a shared pool of configurable computing resources. However …

Cloud security auditing assures the transparency and accountability of a cloud provider to its
tenants. However, the high operational complexity implied by the multi-tenancy and self …

The verification of security compliance with respect to security standards and policies is
desirable to both cloud providers and users. However, the sheer size of a cloud implies a …

Multi-tenancy in the cloud is a double-edged sword. While it enables cost-effective resource
sharing, it increases security risks for the hosted applications. Indeed, multiplexing virtual …

The multi-tenancy in a cloud along with its dynamic and self-service nature could cause
severe security concerns, such as isolation breaches among cloud tenants. To mitigate such …

Security auditing allows cloud tenants to verify the compliance of cloud infrastructure with
respect to desirable security properties, eg, whether a tenant's virtual network is properly …

To ensure the accountability of a cloud environment, security policies may be provided as a
set of properties to be enforced by cloud providers. However, due to the sheer size of clouds …