2 citations · 5 across the 9 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2020★ 2 cited
First-Order Logic for Flow-Limited Authorization
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti +2
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize…
cs.CR2012
Nexus Authorization Logic (NAL): Logical Results
Andrew K. Hirsch, Michael R. Clarkson
Nexus Authorization Logic (NAL) [Schneider et al. 2011] is a logic for reasoning about authorization in distributed systems. A revised version of NAL is given here, including revis…