Home
Course description
Syllabus
Projects
Lecture slides
Tools and reference | |
Formalization of HIPAA
 | Dina Thomas |
| Navya Rehani |
| Simon Berring |
Summary
The Health Information Portability and Accountability Act (HIPAA) was passed in 1996, supplemented with the HHS Privacy Rule in 2000, and supplemented again in 2003. Its dual goal was to protect individual health information and to allow sufficient flow of information for maintaining high quality health care. This project examines the text of the 2003 privacy rule with the goal of providing a formal description of the text using Linear Temporal Logic (LTL) and determining whether the rule met various desired/expected properties connected to those goals. The model checker SPIN used in this study.
Project report: pdf
Presentation Slides: ppt, pdf
|
