Abstract:In the process of big data analysis and processing, a key concern blocking users from storing and processing their data in the cloud is their misgivings about the security and performance of cloud services. There is an urgent need to develop an approach that can help each cloud service provider (CSP) to demonstrate that their infrastructure and service behavior can meet the users' expectations. However, most of the prior research work focused on validating the process compliance of cloud service without an accurate description of the basic service behaviors, and could not measure the security capability. In this paper, we propose a novel approach to verify cloud service security conformance called CloudSec, which reduces the description gap between the cloud provider and customer through modeling cloud service behaviors (CloudBeh Model) and security SLA (SecSLA Model). These models enable a systematic integration of security constraints and service behavior into cloud while using UPPAAL to check the conformance, which can not only check CloudBeh performance metrics conformance, but also verify whether the security constraints meet the SecSLA. The proposed approach is validated through case study and experiments with a cloud storage service based on OpenStack, which illustrates CloudSec approach effectiveness and can be applied in real cloud scenarios.

Verifying Cloud Application for the Interaction Correctness Using SoaML and SPIN

Formal Verification Technique for Grid Service Chain Model and Its Application

SMT-Based Modeling and Verification of Cloud Applications.

Verification Web Services Composition Based on OWL-S

ModelX: Using Model Checking to Find Design Errors of Cloud Applications

CloudSec: A Novel Approach to Verifying Security Conformance at the Bottom of the Cloud

Study on Verification of Web Services Composition Based on OWL-S

PARALLEL VERIFICATION EXECUTION WITH VERIFY ALGEBRA IN A CLOUD ENVIRONMENT

Verifying cloud Service Level Agreement

Toward Formal Modeling and Verification of Resource Provisioning As a Service in Cloud

Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service

Verification of Web Service Conversations Specified in WSCL

Towards the Verification of Services Collaboration

Verifying Security of Composed Interaction for Web Services.

A Behavior-Aware SLA-based Framework for Guaranteeing the Security Conformance of Cloud Service.

A Web Services Composition Model and Its Verification Algorithm Based on Interface Automata

Model Checking Service Component Composition by SPIN

Describing and Verifying Semantic Web Service Composition with MDA

Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus

Novel Method to Verify Web Services Process

A Formal Validation Method for Trustworthy Services Composition.