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

Article CLOSED
Francesco Alberti; Alessandro Armando; Silvio Ranise;
(2011)
Share - Bookmark