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

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