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

Victor Rivera

Browse the full ICECCS paper archive.