ASE 2023
Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg
Mon 11 Sep 2023 15:30 - 15:50 at Room FR - Session 3: Contract and Microservices Chair(s): Gian Luca Scoccia

We propose a simple modelling language extending iContractML 2.0 for access control policies on smart contracts. The language supports multi-party authorisation and dynamic role-based access control (RBAC) where role members can be added or removed at runtime. Models in this language can be mapped to both Solidity and DAML in a model-driven approach to RBACs.

Slides for Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts (ASYDE.pdf)785KiB

Mon 11 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 16:40
Session 3: Contract and Microservices[Workshop] ASYDE at Room FR
Chair(s): Gian Luca Scoccia University of L'Aquila
15:30
20m
Talk
Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts
[Workshop] ASYDE
Issam Al-Azzoni Al Ain University of Science, United Arab Emirates, Reiko Heckel University of Leicester, United Kingdom
File Attached
15:50
20m
Talk
Exploring Automatic Specification Repair in Dafny Programs
[Workshop] ASYDE
Alexandre Abreu University of Porto & INESC TEC, Nuno Macedo University of Porto; INESC TEC, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC
File Attached
16:10
20m
Talk
Migrating from monoliths to microservices: enforcing correct coordination
[Workshop] ASYDE
Marco Autili University of L'Aquila, Italy, Gianluca Filippone University of L'Aquila, Italy, Massimo Tivoli University of L'Aquila