Analysis of XACML policies with ASP

Analysis of XACML policies with ASP
复制标题

使用 ASP 分析 XACML 策略

DOI：
--
复制
发表时间：
2015
期刊：
International Conference on New Technologies, Mobility and Security
影响因子：
--
通讯作者：
Cyrille Martins
Cyrille Martins
中科院分区：
--
文献类型：
--
作者：
D. Ayed;Marie;Cyrille Martins

文献摘要

被引文献

相似文献

安全策略管理员面临着确保他们在 XACML 中指定的策略符合他们想要制定的策略并了解其总体效果的困难。本文提出了一种使用答案集编程（ASP）的基于逻辑的 XACML3.0 分析解决方案，其中 Ansprolog 用于对 XACML 决策过程进行建模，并以创新的方式采用 ASP 求解器对访问控制策略进行逻辑推理，例如检测多组织环境中的冲突。
Security policy administrators face difficulties to ensure that the policies they specify in XACML correspond to what they intend to formulate and to understand their overall effect. This paper proposes a logic-based XACML3.0 analysis solution using Answer Set Programming (ASP) where Ansprolog is used to model the XACML decision process and an ASP solver is employed in an innovative way to perform logical reasoning on access control policies such as detecting conflicts in a multi-organizational context.