Alessandro Armando, Silvio Ranise. Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving. Journal of Computer Security, 20(4):309-352, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.