NDLI: Cloud calculus: Security verification in elastic cloud computing platform

Content Provider	IEEE Xplore Digital Library
Author	Jarraya, Y. Eghtesadi, A. Debbabi, M. Zhang, Y. Pourzandi, M.
Copyright Year	2012
Description	Author affiliation: Computer Security Laboratory, CIISE, Concordia University, Montreal, Quebec, Canada (Jarraya, Y.; Eghtesadi, A.; Debbabi, M.) \|\| Ericsson Research Sillicon Valley Lab, San Jose, CA, USA (Zhang, Y.) \|\| Ericsson Canada Research, Montreal, Quebec, Canada (Pourzandi, M.)
Abstract	Cloud orchestration involves cloud resources scaling up and down, management, as well as manipulation to better respond user's requests and to facilitate operational objectives of the service providers. These promote the elastic nature of cloud platform but force upon significant challenges to cloud service providers. Particularly, security issues such as inconsistency may arise while dynamic changes such as virtual machine migration occur. In this paper, we propose a formal framework for the specification of virtual machines migration and security policies updates. This framework enables us to verify that the global security policy after the migration is consistently preserved with respect to the initial one. To this end, we define a new calculus, namely cloud calculus that can be used to specify the topology of a cloud computing system and firewall security rules. It also enables specifying the virtual machines migration along with their security policies. The semantics of our calculus is based on structural congruence and a reduction relation. In order to verify the global security policy within the new configuration, we define a testing equivalence over cloud terms. Finally, we provide an illustrative case study to demonstrate the applicability of our approach.
Starting Page	447
Ending Page	454
File Size	394192
Page Count	8
File Format	PDF
ISBN	9781467313810
e-ISBN	9781467313827
DOI	10.1109/CTS.2012.6261089
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-05-21
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Cloud computing Cloud Calculus Calculus Virtual machining Verification Topology Security Testing Equivalence Cloud Computing Security Policies Syntactics Virtual Machine Migration Testing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

∗Computer Security Laboratory,

Secure live migration of VM's in Cloud Computing: A survey

Virtual machine migration in cloud infrastructures: Problem formalization and policies proposal

A security context migration framework for Virtual Machine migration

Creating virtual platform for cloud computing

VC-Migration: Live Migration of Virtual Clusters in the Cloud

Secure and reliable VM-vTPM migration in private cloud

SPLM: Security Protection of Live Virtual Machine Migration in Cloud Computing

Efficient Virtual Machine Migration in Cloud Computing

Cloud calculus: Security verification in elastic cloud computing platform

Similar Documents

∗Computer Security Laboratory,

Secure live migration of VM's in Cloud Computing: A survey

Virtual machine migration in cloud infrastructures: Problem formalization and policies proposal

A security context migration framework for Virtual Machine migration

Creating virtual platform for cloud computing

VC-Migration: Live Migration of Virtual Clusters in the Cloud

Secure and reliable VM-vTPM migration in private cloud

SPLM: Security Protection of Live Virtual Machine Migration in Cloud Computing

Efficient Virtual Machine Migration in Cloud Computing

Cloud calculus: Security verification in elastic cloud computing platform