Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language
SACMAT, pp. 191-198, 2017.
Dependence on reliable information systems to safeguard personally identifiable information implies a need for privacy policies which guide the release and management of such information, whose mismanaged disclosure can be damaging to both the subject and the organization that releases it. Enforcing such policies requires attention to det...More
Full Text (Upload PDF)
PPT (Upload PPT)