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

相似书籍

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