Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs. / Xu, Yibin; Slaats, Tijs; Düdder, Boris; Hildebrandt, Thomas Troels.
2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, 2023. s. 70-80.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - GEN
T1 - Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs
AU - Xu, Yibin
AU - Slaats, Tijs
AU - Düdder, Boris
AU - Hildebrandt, Thomas Troels
PY - 2023/5
Y1 - 2023/5
N2 - 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
AB - 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
U2 - 10.1109/icssp59042.2023.00017
DO - 10.1109/icssp59042.2023.00017
M3 - Article in proceedings
SN - 979-8-3503-1197-6
SP - 70
EP - 80
BT - 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP)
PB - IEEE
T2 - 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP)
Y2 - 14 May 2023 through 15 May 2023
ER -
ID: 359405570