Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control.
Jonas SchifflMatthias GrundmannMarc LeinweberOliver StengeleSebastian FriebeBernhard BeckertPublished in: SACMAT (2021)
Keyphrases
- access control
- formal verification
- model checking
- dynamic access control
- fine grained
- data security
- security policies
- role based access control
- database security
- business transactions
- access control policies
- security mechanisms
- access control models
- security model
- security requirements
- identity management
- database
- security architecture
- access control mechanism
- access control systems
- data protection
- trust relationships
- supply chain
- role assignment
- databases