Abstract
Smart contracts executed on blockchains are interactive programs where external actors generate events that trigger function invocations. Events can be emitted by participants asynchronously. However, some functionalities should be restricted to participants inhabiting specific roles in the system, which might be dynamically adjusted while the system evolves. We argue that current smart contract languages adopting imperative programming paradigms require additional complicated access control code. Furthermore, smart contracts are often developed independently and cannot share a joint access control policy. We propose to use Dynamic Condition Response Graphs for role-based and declarative access control for smart contracts. We show that they allow to capture and visualize a form of dynamic access control where access rights evolve as the contract state progresses. Their use supports straight-forward declaration of access control rights, improved code auditing, programming error reduction and improves users’ understanding of smart contracts
Original language | English |
---|---|
Title of host publication | 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP) |
Publisher | IEEE |
Publication date | May 2023 |
Pages | 70-80 |
ISBN (Print) | 979-8-3503-1197-6 |
ISBN (Electronic) | 979-8-3503-1196-9 |
DOIs | |
Publication status | Published - May 2023 |
Event | 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP) - Melbourne, Australia Duration: 14 May 2023 → 15 May 2023 |
Conference
Conference | 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP) |
---|---|
Country/Territory | Australia |
City | Melbourne |
Period | 14/05/2023 → 15/05/2023 |