Automated and Efficient Analysis of Role-Based Access Control with Attributes.

Alessandro Armando, Silvio Ranise

Browse the full DBSEC paper archive.