Efficient symbolic automated analysis of administrative attribute-based RBAC-policies.

Francesco Alberti, Alessandro Armando, Silvio Ranise

Browse the full CCS paper archive.