答案集编程中的XACML 3.0
信息论
2015-03-11 v2 math.IT
摘要
我们提出了一种系统技术，用于将XACML 3.0策略转换为答案集编程（ASP）。我们展示了生成的逻辑程序具有唯一的答案集，直接对应于我们对Ramli等人提出的XACML 3.0标准语义的形式化。我们演示了我们的结果如何使得使用现成的ASP求解器来形式化验证XACML表示的访问控制策略的属性成为可能，例如检查一组访问控制策略的完备性和验证策略属性。
引用
@article{arxiv.1206.5327,
title = {XACML 3.0 in Answer Set Programming},
author = {Carroline Dewi Puspa Kencana Ramli and Hanne Riis Nielson and Flemming Nielson},
journal= {arXiv preprint arXiv:1206.5327},
year = {2015}
}