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