Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control.
Fahad F. AlhabardiArnold BeckmannBogdan LazarAnton SetzerPublished in: CoRR (2022)
Keyphrases
- access control
- dynamic access control
- fine grained
- high assurance
- data security
- access control policies
- business transactions
- security policies
- security mechanisms
- supply chain
- access control models
- role based access control model
- identity management
- security architecture
- access control mechanism
- access control systems
- security model
- database security
- security requirements
- role based access control
- digital rights management
- role assignment
- web services