SymboleoAC: an access control model for smart legal contracts

2025/12/08 by Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot +2 · 1 voice
Computer Science · Social Sciences · #Access Control and Trust #Blockchain Technology Applications and Security #Multi-Agent Systems and Negotiation

paper · doi:10.1007/s10270-025-01327-9

crossref issued 2025/12/08 · crossref published 2025/12/08 · crossref published-online 2025/12/08 · openalex created_date 2025/12/08 · openalex publication_date 2025/12/08 · crossref created 2025/12/08 · crossref deposited 2025/12/08 · crossref indexed 2025/12/08 · openalex updated_date 2026/07/23

Citations

• Attribute-Based Access Control
• Blockchain technology and the sustainable supply chain: Theoretically exploring adoption barriers
• Hyperledger fabric
• Automated generation of smart contract code from legal contract specifications with Symboleo2SC
• SymboleoPC: checking properties of legal contracts

Discussions

• #OnlineFirst SymboleoAC: an access control model for smart legal contracts Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri & John Mylopoulos doi.org/10.1007/s102... [bsky, 0 points, 0 comments]