Temporal RBAC Security Analysis Using Logic Programming in the Presence of Administrative Policies
['Sadhana Jha', 'Shamik Sural', 'Jaideep Vaidya', 'Vijayalakshmi Atluri']
Temporal RBAC Security Analysis Using Logic Programming in the Presence of Administrative Policies