2 citations · 5 across the 9 of their papers we have counts for
1 paper · 1 filter
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…