output
20132025
researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2013

Belief Semantics of Authorization Logic

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…