Semantic Comparison of Security Policies: From Access Control Policies to Flow Properties.
Mathieu JaumePublished in: IEEE Symposium on Security and Privacy Workshops (2012)
Keyphrases
- security policies
- access control policies
- access control
- access control systems
- formal language
- conflict resolution
- network security
- distributed systems
- distributed environment
- access control models
- security requirements
- fine grained
- data security
- database
- information flow
- intrusion detection
- multilevel secure
- trust negotiation
- mandatory access control