2 citations · 5 across the 9 of their papers we have counts for
1 paper · 2 filters
Andrew K. Hirsch, Michael R. Clarkson
Authorization logics have been used in the theory of computer security to reason about access control decisions. In this work, a formal belief semantics for authorization logics is…