Vac - Verifier of Administrative Role-Based Access Control Policies.
Anna Lisa FerraraP. MadhusudanTruc L. NguyenGennaro ParlatoPublished in: CAV (2014)
Keyphrases
- access control policies
- access rights
- access control
- access control systems
- conflict resolution
- security policies
- distributed environment
- extended logic programs
- fine grained
- access control models
- role based access control
- trust negotiation
- information systems
- security mechanisms
- e government
- data migration
- data security
- anomaly detection
- loosely coupled
- low cost
- information flow
- intelligent agents
- digital rights management
- management system
- operating system
- intrusion detection
- distributed systems
- digital libraries