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)
Full text not available from this repository.Abstract
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Identification Number: | 10.1109/CLOUD.2017.81 |
| Uncontrolled Keywords: | Smart Contracts; Negotiation; Cloud Computing; Service Level Agreement |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Caterina Tangheroni |
| Date Deposited: | 05 Mar 2018 16:02 |
| Last Modified: | 05 Mar 2018 16:02 |
| URI: | http://eprints.imtlucca.it/id/eprint/3948 |
Actions (login required)
 |
Edit Item |
