XACML的逻辑——扩展版
密码学与安全
2011-10-18 v1 计算机科学中的逻辑
摘要
我们研究用于组合式描述安全访问控制策略的国际标准XACML 3.0。我们的主要贡献是推导出一个精确捕捉该标准核心思想的逻辑，并形式化定义XACML策略组合算法的语义。为避免建模伪影(modeling artefacts)，我们提供了刻画策略组合算法的替代方法，并形式化证明了这些方法的等价性。这使我们能够精确指出先前基于Belnap逻辑或D-代数的形式化方法的不足之处。
引用
@article{arxiv.1110.3706,
title = {The Logic of XACML - Extended},
author = {Carroline Dewi Puspa Kencana Ramli and Hanne Riis Nielson and Flemming Nielson},
journal= {arXiv preprint arXiv:1110.3706},
year = {2011}
}
备注
Extended paper from The Logic of XACML, presented in FACS 2011 (8th International Symposium on Formal Aspects of Component Software)