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]
Abstract is missing.