2 papers
cs.CR2016
Formal Specification and Integration of Distributed Security Policies
Mohamed Mejri, Hamdi Yahyaoui
We propose in this paper the Security Policy Language (SePL), which is a formal language for capturing and integrating distributed security policies. The syntax of SePL includes se…
cs.CR2016
A Rewriting System for the Assessment of XACML Policies Relationship
M. Mejri, H. Yahyaoui, A. Mourad +1
We propose in this paper a new approach to assess the relationship between XACML policies. Our approach spans over three steps. In the first one, the XACML policies are mapped to t…