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
-
46 Information and Computing Sciences
-
4612 Software Engineering
-
4613 Theory Of Computation
Identity
Digital Object Identifier (DOI)
Additional Document Info