Nexus 授权逻辑 (NAL)：逻辑结果
密码学与安全
2012-11-19 v2 计算机科学中的逻辑
摘要
Nexus 授权逻辑 (NAL) [Schneider et al. 2011] 是一种用于分布式系统中授权推理的逻辑。本文给出了 NAL 的修订版本，包括修订后的语法、使用局部假设的修订证明论以及新的 Kripke 语义。证明了该证明论相对于语义的可靠性，并且该证明已在 Coq 中形式化。
引用
@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}
}