relation: http://eprints.imtlucca.it/3948/
title: Smart Contract Negotiation in Cloud Computing
creator: Vincenzo, Scoca
creator: Uriarte, Rafael Brundo
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: A smart contract is the formalisation of an agreement, whose terms are automatically enforced by relying on a transaction protocol, while minimising the need of intermediaries. Such contracts not only specify the service and its quality but also the possible changes at runtime of the terms of agreement. Although smart contracts provide a great deal of flexibility, analysing their compatibility and reaching agreements with this level of dynamism is considerably more challenging, due to the freedom of clients and providers in formulating needs/offers. We introduce a formal language to specify interactions between offers and requests and present a methodology for the autonomous negotiation of smart contracts, which analyses the cost and the necessary changes for reaching an agreement. Moreover, we describe a set of experiments that provides insights on the relative cost of dynamism in negotiating smart contracts and compare the request/offer matching rates of our solution with related works.
publisher: IEEE
date: 2017
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Vincenzo, Scoca and Uriarte, Rafael Brundo and De Nicola, Rocco  Smart Contract Negotiation in Cloud Computing.  In: 10th International Conference on Cloud Computing (CLOUD), September 11, 2017, Honolulu, CA, USA pp. 592-599.  ISBN 978-1-5386-1993-3.      (2017)  
relation: http://doi.org/10.1109/CLOUD.2017.81
relation: doi:10.1109/CLOUD.2017.81