Automated analysis of RBAC policies with temporal constraints and static role hierarchies.

Silvio Ranise, Anh Tuan Truong, Luca Vigan

Browse the full SAC paper archive.