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

Схожие документы

• On XACML‚ role−based access control‚ and health grids
  по: Power, D, и др.
  Опубликовано: (2005)
• Enhance cloud security and effectiveness using improved RSA-based RBAC with XACML technique
  по: A. Kousalya, и др.
  Опубликовано: (2023-01-01)
• On formalising and normalising role−based access control systems
  по: Power, D, и др.
  Опубликовано: (2007)
• A Formal Validation Approach for XACML 3.0 Access Control Policy
  по: Carmine Caserio, и др.
  Опубликовано: (2022-04-01)
• On formalising and normalising role−based access control systems
  по: Slaymaker, D, и др.
  Опубликовано: (2009)