January 1, 2026Ā· Communications in computer and information science
conference-paper
Formal Specification and Verification of Smart Contract Access Control Policies
Authors:Thanh-Binh Trinh *Ngoc-Minh Le
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.