Nexus authorization logic (NAL): Design rationale and applications

Abstract

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

Topics

Statistics

01020201020112012201320142015201620172018
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} }