A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment

Amato, Flora; Cozzolino, Giovanni; Moscato, Francesco; Moscato, Vincenzo; Xhafa, Fatos

doi:10.1109/tii.2021.3057595

Cited by 24 publications

(7 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, contracts between industry users and government regulations relating to negotiation, execution, administration, and Blockchain management are required by commercial law. If a contract is miscoded and is not performed as intended, the parties are liable for the miscoded contract [333].…”

Section: Legal and Compliance Issuesmentioning

confidence: 99%

A taxonomy study on securing Blockchain-based Industrial applications: An overview, application perspectives, requirements, attacks, countermeasures, and open issues

Hameed

Barika

Garg

et al. 2022

Journal of Industrial Information Integration

View full text Add to dashboard Cite

Section: Legal and Compliance Issuesmentioning

confidence: 99%

A taxonomy study on securing Blockchain-based Industrial applications: An overview, application perspectives, requirements, attacks, countermeasures, and open issues

Hameed

Barika

Garg

et al. 2022

Journal of Industrial Information Integration

View full text Add to dashboard Cite

“…In the last years a plethora of tools, languages and techniques has been propose to facilitate the development and analysis and verification of smart contracts [14]. Most of them are aimed at finding vulnerabilities by looking into specific patterns (e.g., Slither [23]), user provided assertions (e.g, Echidna [27], Manticore [35], etc .…”

Section: Related Workmentioning

confidence: 99%

Predicate abstractions for smart contract validation

Godoy¹,

Galeotti²,

Garbervetsky³

et al. 2022

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Smart contracts are immutable programs deployed on the blockchain that can manage significant assets. Because of this, verification and validation of smart contracts is of vital importance. Indeed, it is industrial practice to hire independent specialized companies to audit smart contracts before deployment. Auditors typically rely on a combination of tools and experience but still fail to identify problems in smart contracts before deployment, causing significant losses. In this paper, we propose using predicate abstraction to construct models which can be used by auditors to explore and validate smart contact behaviour at the function call level by proposing predicates that expose different aspects of the contract. We propose predicates based on requires clauses and enum-type state variables as a starting point for contract validation and report on an evaluation on two different benchmarks. CCS CONCEPTS• Software and its engineering → Software verification and validation; Software testing and debugging.

show abstract

“…According to commercial law, there must be specific contracts between industry users and government regulations relating to negotiation, execution, administration and Blockchain management. Furthermore, liability must be acknowledged if a contract were miscoded and is not carried out as intended [360].…”

Section: Legal and Compliance Issuesmentioning

confidence: 99%

A Taxonomy Study on Securing Blockchain-based Industrial Applications: An Overview, Application Perspectives, Requirements, Attacks, Countermeasures, and Open Issues

Hameed¹,

Barika²,

Garg³

et al. 2021

Preprint

View full text Add to dashboard Cite

Blockchain technology has taken on a leading role in today's industrial applications by providing salient features and showing significant performance since its beginning. Blockchain began its journey from the concept of cryptocurrency and is now part of a range of core applications to achieve resilience and automation between various tasks. With the integration of Blockchain technology into different industrial applications, many application designs, security and privacy challenges present themselves, posing serious threats to users and their data. Although several approaches have been proposed to address the specific security and privacy needs of targeted applications with functional parameters, there is still a need for a research study on the application, security and privacy challenges, and requirements of Blockchain-based industrial applications, along with possible security threats and countermeasures. This study presents a state-of-the-art survey of Blockchain-based Industry 4.0 applications, focusing on crucial application and security and privacy requirements, as well as corresponding attacks on Blockchain systems with potential countermeasures. We also analyse and provide the classification of different security and privacy techniques used in these applications to enhance the advancement of security features. Furthermore, we highlight some open issues in industrial applications that help to design secure Blockchain-based applications as future directions.

show abstract

A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment

Abstract: Portal del coneixement obert de la UPC http://upcommons.upc.edu/e-prints Aquesta és una còpia de la versió author's final draft d'un article publicat a la revista IEEE transactions on industrial informatics.

Cited by 24 publications

References 17 publications

A taxonomy study on securing Blockchain-based Industrial applications: An overview, application perspectives, requirements, attacks, countermeasures, and open issues

A taxonomy study on securing Blockchain-based Industrial applications: An overview, application perspectives, requirements, attacks, countermeasures, and open issues

Predicate abstractions for smart contract validation

A Taxonomy Study on Securing Blockchain-based Industrial Applications: An Overview, Application Perspectives, Requirements, Attacks, Countermeasures, and Open Issues

Contact Info

Product

Resources

About