DMCA

Compositional Typed Analysis of ARBAC Policies

by Stefano Calzavara , Alvise Rabitti , Michele Bugliesi