Login / Signup
Formal Verification of Access Control Model for My Health Record System.
Victor Rivera
Published in:
CoRR (2020)
Keyphrases
</>
access control
dynamic access control
security model
fine grained
formal verification
data mining
management system
database
medical images
structured data