AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities.
Asem GhalebJulia RubinKarthik PattabiramanPublished in: ICSE (2023)
Keyphrases
- access control
- security mechanisms
- dynamic access control
- fine grained
- data security
- security policies
- access control policies
- role based access control
- access control models
- rbac model
- security architecture
- role based access control model
- security model
- supply chain
- database security
- information security
- data protection
- database systems
- access control mechanism
- digital rights management
- computer systems
- security requirements
- database design