Trustworthy Cloud Certification: A Model-Based Approach

Abstract : Cloud computing is introducing an architectural paradigm shift that involves a large part of the IT industry. The flexibility in allocating and releasing resources at runtime creates new business opportunities for service providers and their customers. However, despite its advantages, cloud computing is still not showing its full potential. Lack of mechanisms to formally assess the behavior of the cloud and its services/processes, in fact, negatively affects the trust relation between providers and potential customers, limiting customer movement to the cloud. Recently, cloud certification has been proposed as a means to support trustworthy services by providing formal evidence of service behavior to customers. One of the main limitations of existing approaches is the uncertainty introduced by the cloud on the validity and correctness of existing certificates. In this paper, we present a trustworthy cloud certification approach based on model verification. Our approach checks certificate validity at runtime, by continuously verifying the correctness of the service model at the basis of certification activities against real and synthetic service execution traces.
Type de document :
Communication dans un congrès
Paolo Ceravolo; Barbara Russo; Rafael Accorsi. 4th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Nov 2014, Milan, Italy. Lecture Notes in Business Information Processing, LNBIP-237, pp.107-122, 2015, Data-Driven Process Discovery and Analysis. 〈10.1007/978-3-319-27243-6_5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01442342
Contributeur : Hal Ifip <>
Soumis le : vendredi 20 janvier 2017 - 15:39:23
Dernière modification le : vendredi 20 janvier 2017 - 15:41:56
Document(s) archivé(s) le : vendredi 21 avril 2017 - 15:44:41

Fichier

393788_1_En_5_Chapter.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Marco Anisetti, Claudio Ardagna, Ernesto Damiani, Nabil El Ioini. Trustworthy Cloud Certification: A Model-Based Approach. Paolo Ceravolo; Barbara Russo; Rafael Accorsi. 4th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Nov 2014, Milan, Italy. Lecture Notes in Business Information Processing, LNBIP-237, pp.107-122, 2015, Data-Driven Process Discovery and Analysis. 〈10.1007/978-3-319-27243-6_5〉. 〈hal-01442342〉

Partager

Métriques

Consultations de la notice

23

Téléchargements de fichiers

6