Related Experiment Video
Updated: Sep 26, 2025
10:21
Author Spotlight: Streamlining Protein Target Prediction and Validation via Molecular Docking and CETSA
Published on: February 23, 2024
2.9K
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.
Sensors (Basel, Switzerland)
|April 23, 2022
Summary
This study formalizes XACML 3.0 policies and introduces new coverage criteria to improve the verification and testing of access control systems, making security policy management more reliable.
Area of Science:
- Computer Science
- Information Security
- Formal Methods
Background:
- Access control systems are crucial for regulating resource access.
- Extensible Access Control Markup Language (XACML) is the standard for access control policies.
- XACML's complexity hinders policy verification and testing.
Purpose of the Study:
- To provide a formal specification of XACML 3.0 policy elements.
- To adapt existing policy coverage criteria for XACML 3.0.
- To introduce novel coverage criteria tailored for XACML 3.0 peculiarities.
Main Methods:
- Formal specification of XACML 3.0 policy elements.
- Leveraging and adapting existing policy coverage criteria.
- Developing and applying new coverage criteria for XACML 3.0.
Main Results:
- A comprehensive formal specification of XACML 3.0 policy elements is presented.
- Existing coverage criteria are adapted for XACML 3.0 suitability.
- A new set of coverage criteria is introduced to enhance XACML 3.0 testing.
Conclusions:
- The formal specification and new coverage criteria improve XACML 3.0 policy verification and testing.
- The proposed methods address the challenges posed by XACML's complexity.
- This work facilitates more robust and reliable access control policy management.
Related Concept Videos
01:26Constraints and Statical Determinacy
719
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
719
01:15Data Validation
276
Method validation is a crucial process in analytical chemistry designed to confirm that a given method consistently produces reliable and high-quality results. This process is essential when a method is applied to different sample matrices or when procedural modifications are made, ensuring that the results meet acceptable standards across various applications.
Key parameters for method validation include:
Key parameters for method validation include:
276
01:09Decision Making: P-value Method
5.8K
The process of hypothesis testing based on the P-value method includes calculating the P- value using the sample data and interpreting it.
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...
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...
5.8K
01:03Drug Control Governance: Regulatory Bodies and Their Impact
265
Drug control governance involves the oversight and regulation of pharmaceuticals to ensure their safety and efficacy while preventing illegal drug use and trafficking. Regulatory bodies, including the US Food and Drug Administration (FDA) and the European Union's European Medicines Agency (EMA), play a central role in this process. These agencies evaluate the safety and efficacy of drugs before they can be marketed. They fund clinical trials and assess the benefits and risks associated with...
265
02:24Regulation of Expression Occurs at Multiple Steps
3.2K
3.2K
01:19Quality Assurance
224
Quality assurance is the overarching term used to describe the activities employed to ensure the proper performance of a system. These activities can be classified into three categories: quality control, quality assessment, and internal corrective measures. Typically, these activities work cyclically: quality control is performed before and during the analysis, while quality assessment occurs during and after the investigation. Internal corrective measures are implemented based on the findings...
224