A Formalization of HIPAA for a Medical Messaging System

  title={A Formalization of HIPAA for a Medical Messaging System},
  author={Peifung E. Lam and John C. Mitchell and Sharada Sundaram},
The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance systems. We believe that in some applications, it may be practical to support compliance by using formalized portions of applicable laws to regulate business processes that use information systems. In order to explore this possibility, we use a stratified fragment of Prolog with limited use of negation to formalize a portion of the US… CONTINUE READING
Highly Cited
This paper has 81 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 42 citations

82 Citations

Citations per Year
Semantic Scholar estimates that this publication has 82 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 24 references

The logic of privacy

  • Christine Evans-Pughe
  • The Economist,
  • 2007
1 Excerpt

Ness . A year is a terrible thing to waste : early experience with HIPAA

  • B Roberta
  • IEEE Workshop on Computer Security Foundations
  • 2006

Stufflebeam , Annie I . Antón , Qingfeng He , and Neha Jain . Specifying privacy policies with P 3 P and EPAL : lessons learned

  • H. William
  • WPES ’ 04 : Proceedings of the ACM workshop on…
  • 2006