Login / Signup

Efficient symbolic automated analysis of administrative attribute-based RBAC-policies.

Francesco AlbertiAlessandro ArmandoSilvio Ranise
Published in: AsiaCCS (2011)
Keyphrases
  • automated analysis
  • automated detection
  • biomedical imaging
  • access control
  • information systems
  • image sequences
  • optimal policy
  • role based access control