Thomas MacGahan, Claiborne Johnson, Armando Rodriguez, Jeffery von Ronne, Jianwei Niu 0001. Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language. In Elisa Bertino, Ravi Sandhu, Edgar R. Weippl, editors, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017, Indianapolis, IN, USA, June 21-23, 2017. pages 191-198, ACM, 2017. [doi]
@inproceedings{MacGahanJRR017,
title = {Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language},
author = {Thomas MacGahan and Claiborne Johnson and Armando Rodriguez and Jeffery von Ronne and Jianwei Niu 0001},
year = {2017},
doi = {10.1145/3078861.3084176},
url = {http://doi.acm.org/10.1145/3078861.3084176},
researchr = {https://researchr.org/publication/MacGahanJRR017},
cites = {0},
citedby = {0},
pages = {191-198},
booktitle = {Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017, Indianapolis, IN, USA, June 21-23, 2017},
editor = {Elisa Bertino and Ravi Sandhu and Edgar R. Weippl},
publisher = {ACM},
isbn = {978-1-4503-4702-0},
}