Noninterference in a predicative polymorphic calculus for access control.
Sepehr Amir-MohammadianMehran S. FallahPublished in: Comput. Lang. Syst. Struct. (2013)
Keyphrases
- access control
- security policies
- fine grained
- dynamic access control
- data security
- access control policies
- security architecture
- security requirements
- access control mechanism
- security mechanisms
- access control systems
- access control models
- database security
- security model
- role based access control
- rbac model
- unauthorized access
- usage control
- role based access control model
- distributed databases