1 paper
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…