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

Eitemau Tebyg

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