用于评估 XACML 策略关系的重写系统
密码学与安全
2020-07-22 v3
摘要
本文中我们提出一种评估 XACML 策略之间关系的新方法。我们的方法分为三步。第一步，将 XACML 策略映射为布尔环的项，同时考虑 XACML 策略和规则组合算法。第二步，将 XACML 策略间的关系问题转化为布尔环中的有效性问题。第三步，使用专用的重写系统解决该有效性问题。本文证明了该重写系统的收敛性。此外，实现了该方法并评估了其性能。结果表明，与迄今已发表的最佳基于 SMT 的方法相比，我们的方法具有更好的性能和内存开销。
引用
@article{arxiv.1605.05887,
title = {A Rewriting System for the Assessment of XACML Policies Relationship},
author = {M. Mejri and H. Yahyaoui and A. Mourad and M. Chehab},
journal= {arXiv preprint arXiv:1605.05887},
year = {2020}
}