First Page | Document Content | |
---|---|---|
Date: 2010-03-09 22:02:41Law Privacy law Privacy Health Insurance Portability and Accountability Act Datalog Prolog Privacy policy Protected health information Logic programming Ethics Computing Data privacy | A Formalization of HIPAA for a Medical Messaging System Peifung E. Lam1 , John C. Mitchell1 , and Sharada Sundaram1,2 2 1Add to Reading ListSource URL: theory.stanford.eduDownload Document from Source WebsiteFile Size: 193,08 KBShare Document on Facebook |