Cryptographically Enforced Data Access Control in Personal Health Record Systems. (2016)