Sophisticated Access Control via SMT and Logical Frameworks.
Konstantine ArkoudasRitu ChadhaC. Jason ChiangPublished in: ACM Trans. Inf. Syst. Secur. (2014)
Keyphrases
- access control
- fine grained
- dynamic access control
- data security
- security policies
- role based access control
- access control policies
- security requirements
- security model
- security mechanisms
- access control models
- role assignment
- security architecture
- rbac model
- smart card
- information systems
- database security
- access control systems
- relational databases