Temporal RBAC Security Analysis Using Logic Programming in the Presence of Administrative Policies.
Sadhana JhaShamik SuralJaideep VaidyaVijayalakshmi AtluriPublished in: ICISS (2014)
Keyphrases
- logic programming
- security analysis
- access control policies
- access control
- conflict resolution
- logic programs
- role based access control
- security requirements
- security policies
- distributed environment
- deductive databases
- security model
- answer set programming
- knowledge base
- knowledge representation
- logic programming language
- public key
- fine grained
- security mechanisms
- programming language
- smart card
- temporal constraints
- stable models
- default logic
- answer sets
- loosely coupled
- temporal reasoning
- data security
- user authentication
- software engineering
- high level
- information systems