Model-Driven Approach for Generating Smart Contracts for Access Control
Dec 01, 2023
DOI: 10.1109/BCCA58897.2023.10338863
Published in: International Conference on Blockchain Computing and Applications (BCCA)
Publisher: IEEE
Access controls are principles and policies that are deployed on a system to ensure privileged access to system resources. Role-based access controls are a type of access controls which ensure access to resources based on users' roles. There has been a recent interest in generating smart contracts for the design of access controls. Smart contracts are computerized applications or protocols which execute automatically between contributory entities without an intermediary interference. The smart contracts, however, have a limitation of being dependent on the blockchain platform for which they are designed. This limitation has been resolved by iContractML framework, which offers a provision of designing and implementing smart contracts for multiple platforms. In this study, we have used a model-driven engineering (MDE) based approach to exploit iContractML for generating smart contract for role-based access controls. We have extended the meta-model of iContractML with new notations and have used the revised meta-model to generate smart contracts for role-based access controls. The generated contracts have been thoroughly tested and evaluated for correctness.
Other Researches
Access Control Verification in Smart Contracts Using Colored Petri Nets
This paper presents an approach for the verification of access control in smart contracts written in the Digital Asset Modeling Language (DAML). The approach utilizes Colored Petri Nets (CPNs) and their analysis tool CPN Tools. It is a model-driven-...
Artificial intelligence has been identified as one of the main driving forces of innovation in state-of-the-art mobile and wireless networks. It has enabled many novel usage scenarios, relying on predictive models for increasing network management e...
Test case prioritization for model transformations
The application of model transformations is a critical component in Model-Driven Engineering (MDE). To ensure the correctness of the generated models, these model transformations need to be extensively tested. However, during the regression testing ...
A Model-Driven Approach for Solving the Software Component Allocation Problem
The underlying infrastructure paradigms behind the novel usage scenarios and services are becoming increasingly complex—from everyday life in smart cities to industrial environments. Both the number of devices involved and their heterogeneity make t...
A Framework for the Regression Testing of Model-to-Model Transformations
Background: Model transformations play a key role in Model-Driven Engineering (MDE). Testing model transformation is an important activity to ensure the quality and correctness of the generated models. However, during the evolution and maintenance o...