Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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. p. 70-80.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Harvard

Xu, Y, Slaats, T, Düdder, B & Hildebrandt, TT 2023, Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs. in 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, pp. 70-80, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP), Melbourne, Australia, 14/05/2023. https://doi.org/10.1109/icssp59042.2023.00017

APA

Xu, Y., Slaats, T., Düdder, B., & Hildebrandt, T. T. (2023). Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs. In 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP) (pp. 70-80). IEEE. https://doi.org/10.1109/icssp59042.2023.00017

Vancouver

Xu Y, Slaats T, Düdder B, Hildebrandt TT. Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs. In 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE. 2023. p. 70-80 https://doi.org/10.1109/icssp59042.2023.00017

Author

Xu, Yibin ; Slaats, Tijs ; Düdder, Boris ; Hildebrandt, Thomas Troels. / Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs. 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, 2023. pp. 70-80

Bibtex

@inproceedings{7bcf8b1bc50549179bc7d6774989ccd3,
title = "Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs",
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{\textquoteright} understanding of smart contracts",
author = "Yibin Xu and Tijs Slaats and Boris D{\"u}dder and Hildebrandt, {Thomas Troels}",
year = "2023",
month = may,
doi = "10.1109/icssp59042.2023.00017",
language = "English",
isbn = "979-8-3503-1197-6",
pages = "70--80",
booktitle = "2023 IEEE/ACM International Conference on Software and System Processes (ICSSP)",
publisher = "IEEE",
note = "2023 IEEE/ACM International Conference on Software and System Processes (ICSSP) ; Conference date: 14-05-2023 Through 15-05-2023",

}

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