Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Constraints and Statical Determinacy

Constraints and Statical Determinacy

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...

Data Validation

Data Validation

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:

Decision Making: P-value Method

Decision Making: P-value Method

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...

Drug Control Governance: Regulatory Bodies and Their Impact

Drug Control Governance: Regulatory Bodies and Their Impact

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...

Regulation of Expression Occurs at Multiple Steps

Regulation of Expression Occurs at Multiple Steps

Quality Assurance

Quality Assurance

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...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same author

Data Protection by Design in the Context of Smart Cities: A Consent and Access Control Proposal.

Sensors (Basel, Switzerland)·2021

See all related articles

Search research articles

Related Experiment Video

Updated: Sep 26, 2025

Author Spotlight: Streamlining Protein Target Prediction and Validation via Molecular Docking and CETSA

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 Caserio¹, Francesca Lonetti², Eda Marchetti²

¹Computer 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.

Keywords:

XACML 3.0 formalization coverage criteria policy testing

More Related Videos

Validation of Therapeutic Agent Conjugation to Polyvinyl Alcohol-Coated Medical Devices

Validation of Therapeutic Agent Conjugation to Polyvinyl Alcohol-Coated Medical Devices

Published on: November 29, 2024

UV-Vis Spectroscopic Characterization of Nanomaterials in Aqueous Media

UV-Vis Spectroscopic Characterization of Nanomaterials in Aqueous Media

Published on: October 25, 2021

Related Experiment Videos

Last Updated: Sep 26, 2025

Author Spotlight: Streamlining Protein Target Prediction and Validation via Molecular Docking and CETSA

Author Spotlight: Streamlining Protein Target Prediction and Validation via Molecular Docking and CETSA

Published on: February 23, 2024

Validation of Therapeutic Agent Conjugation to Polyvinyl Alcohol-Coated Medical Devices

Validation of Therapeutic Agent Conjugation to Polyvinyl Alcohol-Coated Medical Devices

Published on: November 29, 2024

UV-Vis Spectroscopic Characterization of Nanomaterials in Aqueous Media

UV-Vis Spectroscopic Characterization of Nanomaterials in Aqueous Media

Published on: October 25, 2021

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.