Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.
Fahad F. AlhabardiArnold BeckmannBogdan LazarAnton SetzerPublished in: TYPES (2021)
Keyphrases
- access control
- fine grained
- dynamic access control
- high assurance
- data security
- access control policies
- security policies
- security model
- rbac model
- access control models
- security mechanisms
- role based access control
- database security
- access control mechanism
- digital rights management
- security requirements
- data protection
- role based access control model