Nexus authorization logic (NAL): Design rationale and applications


Nexus Authorization Logic (NAL) provides a principled basis for specifying and reasoning about credentials and authorization policies. It extends prior access control logics that are based on “says” and “speaks for” operators. NAL enables authorization of access requests to depend on (i) the source or pedigree of the requester, (ii… (More)
DOI: 10.1145/1952982.1952990



Citations per Year

95 Citations

Semantic Scholar estimates that this publication has 95 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Schneider2011NexusAL, title={Nexus authorization logic (NAL): Design rationale and applications}, author={Fred B. Schneider and Kevin Walsh and Emin G{\"{u}n Sirer}, journal={ACM Trans. Inf. Syst. Secur.}, year={2011}, volume={14}, pages={8:1-8:28} }