Temporal RBAC Security Analysis Using Logic Programming in the Presence of Administrative Policies.

Sadhana Jha, Shamik Sural, Jaideep Vaidya, Vijayalakshmi Atluri

Browse the full ICISS paper archive.