Nexus Authorization Logic (NAL): Logical Results
Cryptography and Security
2012-11-19 v2 Logic in Computer Science
Abstract
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 revised syntax, a revised proof theory using localized hypotheses, and a new Kripke semantics. The proof theory is proved sound with respect to the semantics, and that proof is formalized in Coq.
Keywords
Cite
@article{arxiv.1211.3700,
title = {Nexus Authorization Logic (NAL): Logical Results},
author = {Andrew K. Hirsch and Michael R. Clarkson},
journal= {arXiv preprint arXiv:1211.3700},
year = {2012}
}