A Formal Validation Approach for XACML 3.0 Access Control Policy

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

Descripción completa

Detalles Bibliográficos
Autores principales: Caserio, Carmine, Lonetti, Francesca, Marchetti, Eda
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2022
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9026700/
https://www.ncbi.nlm.nih.gov/pubmed/35458969
http://dx.doi.org/10.3390/s22082984

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9026700/
https://www.ncbi.nlm.nih.gov/pubmed/35458969
http://dx.doi.org/10.3390/s22082984

Ejemplares similares