检索结果-内蒙古大学图书馆

Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role-based behaviors

引用

JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 2025年第1期37卷

作者： Xu, Yibin Slaats, Tijs Dudder, Boris Hildebrandt, Thomas Troels Van Cutsem, Tom Univ Copenhagen Dept Comp Sci Copenhagen Denmark Katholieke Univ Leuven Dept Comp Sci Distrinet Leuven Belgium

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 and evolved independently and cannot share a joint access control policy. This makes it challenging to ensure the correctness of access control properties and to maintain correctness when the contracts are adapted. We propose using dynamic condition response (DCR) graphs for role-based and declarative access control for smart contracts and techniques for test-driven modelling and refinement of DCR graphs to support the safe design and evolution of smart contracts. We show that they allow for capturing and visualizing a form of dynamic access control where access rights evolve as the contract state progresses. Their use supports the straightforward declaration of access control rights, improved code auditing, test-driven modelling, and safe evolution of smart contracts and improves users' understanding. The paper introduces the use of dynamic condition response (DCR) Graphs for role-based and declarative access control in smart contracts. This approach enhances the security and adaptability of smart contracts by enabling dynamic role adjustments and visualizing access control rights. The methodology supports straightforward declaration of access control rights, improves code auditing, and facilitates the safe evolution of smart contracts. image

关键词： process-oriented programming refinement role-based programming safe evolution smart contract programming smart contract security test-driven modelling

来源：评论

学校读者我要写书评

暂无评论

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

Adding Generic Role- and Process-based Behaviors to Smart Co...

引用

17th IEEE/ACM International Conference on Software and System Processes (ICSSP)

作者： Xu, Yibin Slaats, Tijs Dudder, Boris Hildebrandt, Thomas Troels Univ Copenhagen Copenhagen Denmark

ISBN: (纸本)9798350311969

关键词： Smart contract programming Smart contract security role-based programming Process-based programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：