Show simple item record

A model for verification and validation of law compliance of smart contracts in IoT environment

dc.contributor.authorAmato, Flora
dc.contributor.authorCozzolino, Giovanni
dc.contributor.authorMoscato, Francesco
dc.contributor.authorMoscato, Vincenzo
dc.contributor.authorXhafa Xhafa, Fatos
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2021-09-10T11:42:25Z
dc.date.available2021-09-10T11:42:25Z
dc.date.issued2021-11
dc.identifier.citationAmato, F. [et al.]. A model for verification and validation of law compliance of smart contracts in IoT environment. "IEEE transactions on industrial informatics", Novembre 2021, vol. 17, núm. 11, p. 7752-7759.
dc.identifier.issn1551-3203
dc.identifier.urihttp://hdl.handle.net/2117/351078
dc.description© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works
dc.description.abstractThe interest of Industry 4.0 in smart contracts and blockchain technologies is growing up day by day. Smart contracts have enabled new kinds of interactions whereby contractors can even fully automate processes they agree on. This technology is really appealing in Internet of Things (IoT) domain because smart devices generate events for software agents involved in a smart contract execution, making full automation possible. However, smart contracts have to comply with national and international laws and accountability of participant's actions. Soundness of a smart contract has to be verified in terms of law compliance. Here, we propose a model for verification and validation of law compliance of smart contracts in IoT environments. The main goal of this article is to propose a formal model (based on multiagent logic and ontological description of contracts) for validating law compliance of smart contracts and to determine potential responsibilities of failures
dc.format.extent8 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Enginyeria de la telecomunicació::Telemàtica i xarxes d'ordinadors::Internet
dc.subjectÀrees temàtiques de la UPC::Informàtica::Arquitectura de computadors
dc.subject.lcshBlockchains (Databases)
dc.subject.lcshInternet of things
dc.subject.lcshTechnological innovations
dc.subject.otherBlockchain: Industry 4.0
dc.subject.otherInternet of Things (IoT)
dc.subject.otherMultiagent systems
dc.subject.otherSmart contracts
dc.titleA model for verification and validation of law compliance of smart contracts in IoT environment
dc.typeArticle
dc.subject.lemacCadena de blocs (Bases de dades)
dc.subject.lemacInternet de les coses
dc.subject.lemacInnovacions tecnològiques
dc.contributor.groupUniversitat Politècnica de Catalunya. IMP - Information Modeling and Processing
dc.identifier.doi10.1109/TII.2021.3057595
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttps://ieeexplore.ieee.org/document/9349177
dc.rights.accessOpen Access
local.identifier.drac31986099
dc.description.versionPostprint (author's final draft)
dc.relation.projectidinfo:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-111100RB-C21/ES/ALGORITMOS AGILES, INTERNET DE LAS COSAS, Y ANALITICA DE DATOS PARA UN TRANSPORTE SOSTENIBLE EN CIUDADES INTELIGENTES/
local.citation.authorAmato, F.; Cozzolino, G.; Moscato, F.; Moscato, V.; Xhafa, F.
local.citation.publicationNameIEEE transactions on industrial informatics
local.citation.volume17
local.citation.number11
local.citation.startingPage7752
local.citation.endingPage7759


Files in this item

Thumbnail
Name:
Smart-Contracts in IoT.pdf
Size:
874,7Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record