Verifying cloud services: present and future

Sara Bouchenak; Gregory Chockler; Hana Chockler; Gabriela Gheorghe; Nuno Santos; Alexander Shraer

Verifying cloud services: present and future

Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer

Research output: Contribution to journal › Article › peer-review

Abstract

As cloud-based services gain popularity in both private and enterprise domains, cloud consumers are still lacking in tools to verify that these services work as expected. Such tools should consider properties such as functional correctness, service availability, reliability, performance and security guarantees. In this paper we survey existing work in these areas and identify gaps in existing cloud technology in terms of the verification tools provided to users. We also discuss challenges and new research directions that can help bridge these gaps.

Original language	English
Pages (from-to)	6-19
Number of pages	14
Journal	Operating systems review
Volume	47
Issue number	2
Publication status	Published - 1 Jan 2013

Keywords

cloud services
verification
distributed systems
security
Safety Analysis

Cite this

@article{aa7147353b6a4345a8294609ae79158f,

title = "Verifying cloud services: present and future",

abstract = "As cloud-based services gain popularity in both private and enterprise domains, cloud consumers are still lacking in tools to verify that these services work as expected. Such tools should consider properties such as functional correctness, service availability, reliability, performance and security guarantees. In this paper we survey existing work in these areas and identify gaps in existing cloud technology in terms of the verification tools provided to users. We also discuss challenges and new research directions that can help bridge these gaps.",

keywords = "cloud services, verification, distributed systems, security, Safety Analysis",

author = "Sara Bouchenak and Gregory Chockler and Hana Chockler and Gabriela Gheorghe and Nuno Santos and Alexander Shraer",

year = "2013",

month = jan,

day = "1",

language = "English",

volume = "47",

pages = "6--19",

journal = "Operating systems review",

number = "2",

}

TY - JOUR

T1 - Verifying cloud services: present and future

AU - Bouchenak, Sara

AU - Chockler, Gregory

AU - Chockler, Hana

AU - Gheorghe, Gabriela

AU - Santos, Nuno

AU - Shraer, Alexander

PY - 2013/1/1

Y1 - 2013/1/1

N2 - As cloud-based services gain popularity in both private and enterprise domains, cloud consumers are still lacking in tools to verify that these services work as expected. Such tools should consider properties such as functional correctness, service availability, reliability, performance and security guarantees. In this paper we survey existing work in these areas and identify gaps in existing cloud technology in terms of the verification tools provided to users. We also discuss challenges and new research directions that can help bridge these gaps.

AB - As cloud-based services gain popularity in both private and enterprise domains, cloud consumers are still lacking in tools to verify that these services work as expected. Such tools should consider properties such as functional correctness, service availability, reliability, performance and security guarantees. In this paper we survey existing work in these areas and identify gaps in existing cloud technology in terms of the verification tools provided to users. We also discuss challenges and new research directions that can help bridge these gaps.

KW - cloud services

KW - verification

KW - distributed systems

KW - security

KW - Safety Analysis

M3 - Article

VL - 47

SP - 6

EP - 19

JO - Operating systems review

JF - Operating systems review

IS - 2

ER -

Verifying cloud services: present and future

Abstract

Keywords

Fingerprint

Cite this