Traditional computation outsourcing and modern cloud computing are affected by a common risk of distrust between service requestor and service provider. We propose a novel protocol, named Probus, that offers guarantees of correct behavior to both parts without assuming any trust relationship between them in the context of cloud-based key-value databases. Probus allows a service requestor to have evidence of cloud provider misbehavior on its data, and a cloud provider to defend itself from false accusations by demonstrating the correctness of its operations. Accusation and defense proofs are based on cryptographic mechanisms that can be verified by a third party. Probus improves the state-of-the-art by introducing novel solutions that allow for efficient verification of data security properties and by limiting the overhead required to provide its security guarantees. Thanks to Probus it is possible to check the correctness of all the results generated by a cloud service, thus improving weaker integrity assurance based on probabilistic verifications that are adopted by related work.

Enforcing Correct Behavior without Trust in Cloud Key-Value Databases / Andreoli, Andrea; Ferretti, Luca; Marchetti, Mirco; Colajanni, Michele. - (2015), pp. 157-164. ((Intervento presentato al convegno 2nd IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2015 tenutosi a New York nel 3-5 November 2015 [10.1109/CSCloud.2015.51].

Enforcing Correct Behavior without Trust in Cloud Key-Value Databases

ANDREOLI, ANDREA;FERRETTI, LUCA;MARCHETTI, Mirco;COLAJANNI, Michele
2015

Abstract

Traditional computation outsourcing and modern cloud computing are affected by a common risk of distrust between service requestor and service provider. We propose a novel protocol, named Probus, that offers guarantees of correct behavior to both parts without assuming any trust relationship between them in the context of cloud-based key-value databases. Probus allows a service requestor to have evidence of cloud provider misbehavior on its data, and a cloud provider to defend itself from false accusations by demonstrating the correctness of its operations. Accusation and defense proofs are based on cryptographic mechanisms that can be verified by a third party. Probus improves the state-of-the-art by introducing novel solutions that allow for efficient verification of data security properties and by limiting the overhead required to provide its security guarantees. Thanks to Probus it is possible to check the correctness of all the results generated by a cloud service, thus improving weaker integrity assurance based on probabilistic verifications that are adopted by related work.
2015
2nd IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2015
New York
3-5 November 2015
157
164
Andreoli, Andrea; Ferretti, Luca; Marchetti, Mirco; Colajanni, Michele
Enforcing Correct Behavior without Trust in Cloud Key-Value Databases / Andreoli, Andrea; Ferretti, Luca; Marchetti, Mirco; Colajanni, Michele. - (2015), pp. 157-164. ((Intervento presentato al convegno 2nd IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2015 tenutosi a New York nel 3-5 November 2015 [10.1109/CSCloud.2015.51].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11380/1101205
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 0
social impact