Specifying and Reasoning about Dynamic Access-Control Policies. In (2006)

by D J Dougherty, K Fisler, S Krishnamurthi
Venue:Lecture Notes in Computer Science,