A model for verification and validation of law compliance of smart contracts in IoT environment
Visualitza/Obre
Cita com:
hdl:2117/351078
Tipus de documentArticle
Data publicació2021-11
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
The 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
Descripció
© 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
CitacióAmato, 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.
ISSN1551-3203
Versió de l'editorhttps://ieeexplore.ieee.org/document/9349177
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Smart-Contracts in IoT.pdf | 874,7Kb | Visualitza/Obre |