Access Control Verification in Smart Contracts Using Colored Petri Nets
Journal Articles
-
- Overview
-
- Research
-
- Identity
-
- Additional Document Info
-
- View All
-
Overview
status
publication date
published in
Research
keywords
-
Colored Petri Nets
-
Computer Science
-
Computer Science, Interdisciplinary Applications
-
DAML
-
Science & Technology
-
Technology
-
access control
-
smart contracts
Identity
Digital Object Identifier (DOI)
Additional Document Info