TY  - RPRT
TI  - Formal Verification of Access Control Model for My Health Record System
AU  - Victor Rivera
PY  - 2020
UR  - https://arxiv.org/abs/2006.06933
ID  - 2006.06933
ER  -