A Typed Theory for Access Control and Information Flow Control in Mobile Systems.
Libin WangKefei ChenPublished in: ACISP (2003)
Keyphrases
- access control
- fine grained
- access control mechanism
- dynamic access control
- data security
- security policies
- role based access control
- access control systems
- access control models
- high assurance
- intrusion detection
- computer systems
- security mechanisms
- database security
- identity management
- security requirements
- access control policies
- database
- security architecture
- mobile devices
- role assignment
- information systems