Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/www2007/paper/main/656> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 656 creator bijan-parsia.
- 656 creator james-hendler.
- 656 creator vladimir-kolovski.
- 656 type InProceedings.
- 656 label "Analyzing Web Access Control Policies".
- 656 sameAs 656.
- 656 abstract "XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. Previous attempts to analyze XACML policies either use propositional logic or full First-Order logic. In this paper, we present a formalization of XACML using Description Logics (DL) . This formalization allows us to extend the subset of XACML supported by propositional logic-based analysis tools; we also provide a new analysis service (policy redundancy). Mapping XACML to description logics allows us to use off-the-shelf DL reasoners for analysis tasks such as policy comparison, policy verification and querying. We provide empirical evaluation of a policy analysis tool that was implemented on top of open source reasoner Pellet.".
- 656 hasAuthorList authorList.
- 656 isPartOf proceedings.
- 656 title "Analyzing Web Access Control Policies".