{"id":"https://openalex.org/W3128350048","doi":"https://doi.org/10.1109/tii.2021.3057595","title":"A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment","display_name":"A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment","publication_year":2021,"publication_date":"2021-02-09","ids":{"openalex":"https://openalex.org/W3128350048","doi":"https://doi.org/10.1109/tii.2021.3057595","mag":"3128350048"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2021.3057595","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2021.3057595","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2117/351078","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056262036","display_name":"Flora Amato","orcid":"https://orcid.org/0000-0002-5128-5558"},"institutions":[{"id":"https://openalex.org/I4210152452","display_name":"Consorzio Interuniversitario Nazionale per l'Informatica","ror":"https://ror.org/03v8v5y65","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210152452"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Flora Amato","raw_affiliation_strings":["Consorzio Interuniversitario Nazionale per l\u2019Informatica, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Consorzio Interuniversitario Nazionale per l\u2019Informatica, Rome, Italy","institution_ids":["https://openalex.org/I4210152452"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042577438","display_name":"Giovanni Cozzolino","orcid":"https://orcid.org/0000-0003-4794-6023"},"institutions":[{"id":"https://openalex.org/I4210152452","display_name":"Consorzio Interuniversitario Nazionale per l'Informatica","ror":"https://ror.org/03v8v5y65","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210152452"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giovanni Cozzolino","raw_affiliation_strings":["Consorzio Interuniversitario Nazionale per l\u2019Informatica, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Consorzio Interuniversitario Nazionale per l\u2019Informatica, Rome, Italy","institution_ids":["https://openalex.org/I4210152452"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053762772","display_name":"Francesco Moscato","orcid":"https://orcid.org/0000-0002-7056-4579"},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Moscato","raw_affiliation_strings":["Dipartimento di Ingegneria dell\u2019Informazione ed Elettrica e Matematica Applicata, Univercity of Salerno, Fisciano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Ingegneria dell\u2019Informazione ed Elettrica e Matematica Applicata, Univercity of Salerno, Fisciano, Italy","institution_ids":["https://openalex.org/I131729948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081965427","display_name":"Vincenzo Moscato","orcid":"https://orcid.org/0000-0002-0754-7696"},"institutions":[{"id":"https://openalex.org/I4210152452","display_name":"Consorzio Interuniversitario Nazionale per l'Informatica","ror":"https://ror.org/03v8v5y65","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210152452"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Vincenzo Moscato","raw_affiliation_strings":["Consorzio Interuniversitario Nazionale per l\u2019Informatica, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Consorzio Interuniversitario Nazionale per l\u2019Informatica, Rome, Italy","institution_ids":["https://openalex.org/I4210152452"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007964745","display_name":"Fatos Xhafa","orcid":"https://orcid.org/0000-0001-6569-5497"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fatos Xhafa","raw_affiliation_strings":["Department of Computer Science, Technical University of Catalonia, Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0001-6569-5497","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technical University of Catalonia, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.6522,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.96696189,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"17","issue":"11","first_page":"7752","last_page":"7759"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9751999974250793,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13364","display_name":"Digitalization, Law, and Regulation","score":0.9722999930381775,"subfield":{"id":"https://openalex.org/subfields/3308","display_name":"Law"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.7526854276657104},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7251874208450317},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6390913724899292},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.622688353061676},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5419209599494934},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.5049372315406799},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.494252473115921},{"id":"https://openalex.org/keywords/compliance","display_name":"Compliance (psychology)","score":0.4907130002975464},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.27430638670921326},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21024739742279053}],"concepts":[{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.7526854276657104},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7251874208450317},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6390913724899292},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.622688353061676},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5419209599494934},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.5049372315406799},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.494252473115921},{"id":"https://openalex.org/C2781460075","wikidata":"https://www.wikidata.org/wiki/Q1399332","display_name":"Compliance (psychology)","level":2,"score":0.4907130002975464},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.27430638670921326},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21024739742279053},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tii.2021.3057595","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2021.3057595","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/351078","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/351078","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:upcommons.upc.edu:2117/351078","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/351078","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1166432654","display_name":null,"funder_award_id":"AEI/ 10.13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G2309174360","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G300979063","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3410937836","display_name":null,"funder_award_id":"PID2019-111100RB-C21/AEI/ 10.13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G3412273058","display_name":null,"funder_award_id":"AEI/ 10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3690828678","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5080475149","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G527531463","display_name":null,"funder_award_id":"PID2019-111100RB-C21","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5421974903","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G7266728691","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7643708868","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G8055432103","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G8684520763","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W170118461","https://openalex.org/W1993335149","https://openalex.org/W2026586559","https://openalex.org/W2392113277","https://openalex.org/W2594783168","https://openalex.org/W2608634440","https://openalex.org/W2790202156","https://openalex.org/W2809665100","https://openalex.org/W2899593607","https://openalex.org/W2906668391","https://openalex.org/W2913357391","https://openalex.org/W2941980679","https://openalex.org/W2955886508","https://openalex.org/W2974779833","https://openalex.org/W2982704059","https://openalex.org/W2995871203","https://openalex.org/W3047945658","https://openalex.org/W4205256996","https://openalex.org/W4206935265","https://openalex.org/W6606860924","https://openalex.org/W6841443089"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W2466303427","https://openalex.org/W1578828174","https://openalex.org/W2000943029","https://openalex.org/W2950376466","https://openalex.org/W4302559785","https://openalex.org/W4226437312","https://openalex.org/W1969483203","https://openalex.org/W2949331520","https://openalex.org/W2140496290"],"abstract_inverted_index":{"The":[0,112],"interest":[1],"of":[2,23,42,77,81,91,103,106,115,131,137,145],"Industry":[3],"4.0":[4],"in":[5,40,55,89,109],"smart":[6,47,57,65,83,107,138],"contracts":[7,18,66,108,139],"and":[8,72,75,101,128,140],"blockchain":[9],"technologies":[10],"is":[11,37,118],"growing":[12],"up":[13],"day":[14],"by":[15],"day.":[16],"Smart":[17],"have":[19,67],"enabled":[20],"new":[21],"kinds":[22],"interactions":[24],"whereby":[25],"contractors":[26],"can":[27],"even":[28],"fully":[29],"automate":[30],"processes":[31],"they":[32],"agree":[33],"on.":[34],"This":[35],"technology":[36],"really":[38],"appealing":[39],"Internet":[41],"Things":[43],"(IoT)":[44],"domain":[45],"because":[46],"devices":[48],"generate":[49],"events":[50],"for":[51,99,133],"software":[52],"agents":[53],"involved":[54],"a":[56,82,97,121],"contract":[58,84],"execution,":[59],"making":[60],"full":[61],"automation":[62],"possible.":[63],"However,":[64],"to":[68,86,119,141],"comply":[69],"with":[70],"national":[71],"international":[73],"laws":[74],"accountability":[76],"participant's":[78],"actions.":[79],"Soundness":[80],"has":[85],"be":[87],"verified":[88],"terms":[90],"law":[92,104,135],"compliance.":[93],"Here,":[94],"we":[95],"propose":[96,120],"model":[98,123],"verification":[100],"validation":[102],"compliance":[105,136],"IoT":[110],"environments.":[111],"main":[113],"goal":[114],"this":[116],"article":[117],"formal":[122],"(based":[124],"on":[125],"multiagent":[126],"logic":[127],"ontological":[129],"description":[130],"contracts)":[132],"validating":[134],"determine":[142],"potential":[143],"responsibilities":[144],"failures.":[146]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}