Login / Signup

Formal Verification of Access Control Model for My Health Record System.

Victor Rivera
Published in: ICECCS (2020)
Keyphrases
  • access control
  • dynamic access control
  • formal verification
  • security model
  • model checking
  • rbac model
  • fine grained
  • security policies
  • metadata
  • digital libraries
  • management system
  • role based access control model