Formalising and validating RBAC−to−XACML translation using lightweight formal methods

Ítems similars

• On XACML‚ role−based access control‚ and health grids
  per: Power, D, et al.
  Publicat: (2005)
• Enhance cloud security and effectiveness using improved RSA-based RBAC with XACML technique
  per: A. Kousalya, et al.
  Publicat: (2023-01-01)
• On formalising and normalising role−based access control systems
  per: Power, D, et al.
  Publicat: (2007)
• A Formal Validation Approach for XACML 3.0 Access Control Policy
  per: Carmine Caserio, et al.
  Publicat: (2022-04-01)
• On formalising and normalising role−based access control systems
  per: Slaymaker, D, et al.
  Publicat: (2009)