Related Experiment Video
Updated: Sep 26, 2025

Author Spotlight: Streamlining Protein Target Prediction and Validation via Molecular Docking and CETSA
Published on: February 23, 2024
A Formal Validation Approach for XACML 3.0 Access Control Policy
Carmine Caserio1, Francesca Lonetti2, Eda Marchetti2
1Computer Science Department, University of Pisa, 56127 Pisa, Italy.
Abstract:
Access control systems represent a security mechanism to regulate the access to system resources, and XACML is the standard language for specifying, storing and deploying access control policies. The verbosity and complexity of XACML syntax as well as the natural language semantics provided by the standard make the verification and testing of these policies difficult and error-prone. In the literature, analysis techniques and access control languages formalizations are provided for verifiability and testability purposes. This paper provides three contributions: it provides a comprehensive formal specification of XACML 3.0 policy elements; it leverages the existing policy coverage criteria to be suitable for XACML 3.0; and it introduces a new set of coverage criteria to better focus the testing activities on the peculiarities of XACML 3.0. The application of the proposed coverage criteria to a policy example is described, and hints for future research directions are discussed.
Related Concept Videos
Constraints and Statical Determinacy
Data Validation
Key parameters for method validation include:
Decision Making: P-value Method
First, a specific claim about the population parameter is proposed. The claim is based on the research question and is stated in a simple form. Further, an opposing statement to the claim is also stated. These statements can act as null and alternative hypotheses: a null hypothesis would be a neutral statement while the alternative hypothesis can...
Drug Control Governance: Regulatory Bodies and Their Impact
Regulation of Expression Occurs at Multiple Steps
Quality Assurance

