Modeling and Enforcing Access Control Policies for Smart Contracts-Reference-Cited by-同舟云学术

Modeling and Enforcing Access Control Policies for Smart Contracts

Published:2022-08 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)
language:
Short-container-title:

Author:

Toberg Jan-Philipp¹,Schiffl Jonas¹,Reiche Frederik¹,Beckert Bernhard¹,Heinrich Robert¹,Reussner Ralf¹

Affiliation:

1. Information Security and Dependability Karlsruhe Institute of Technology,Karlsruhe,Germany

Funder

Helmholtz Association

Publisher

IEEE

Link

Reference21 articles.

3. Modeling and Verifying Access Control for Ethereum Smart Contracts;reiche;Inst of Inf Secur and Dependability (KASTEL),2021

4. Towards Safer Smart Contracts: A Survey of Languages and Verification Methods;harz;Computing Research Repository (CoRR),2018

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Model-Driven Approach for Generating Smart Contracts for Access Control;2023 Fifth International Conference on Blockchain Computing and Applications (BCCA);2023-10-24

3. Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts;2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW);2023-09-11

4. Static Capability-Based Security for Smart Contracts;2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS);2023-07