Paper Info
Title
A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment
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, makin...
Year
DOI
Venue
2021
10.1109/TII.2021.3057595
IEEE Transactions on Industrial Informatics
Keywords
DocType
Volume
Unified modeling language,Law,Internet of Things,Insurance,Automobiles,Analytical models,Smart contracts
Journal
17
Issue
ISSN
Citations 
11
1551-3203
0
PageRank 
References 
Authors
0.34
0
5
Name
Order
Citations
PageRank
Flora Amato100.34
Giovanni Cozzolino200.34
Francesco Moscato329832.28
Vincenzo Moscato400.34
Fatos Xhafa53433343.33