Team for Research in
Ubiquitous Secure Technology

Citation
John C. Mitchell. "Stratified Negation and HIPAA Compliance". Talk or presentation, 30, November, 2009.

Abstract
The complexity of regulations in healthcare, financial services, and other industries makes it diffcult 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 U.S. Health Insurance Portability and Accountability Act (HIPAA). As part of our study, we also explore the deployment of our formalization in a prototype hospital Web portal messaging system.

Electronic downloads

• 16%20-%20Mitchell.pptx · application/vnd.openxmlformats-officedocument.presentationml.pre · 892 kbytes

• HTML

  John C. Mitchell. <a
  href="http://www.truststc.org/pubs/646.html"
  ><i>Stratified Negation and HIPAA
  Compliance</i></a>, Talk or presentation,  30,
  November, 2009.

• Plain text

  John C. Mitchell. "Stratified Negation and HIPAA
  Compliance". Talk or presentation,  30, November, 2009.

• BibTeX

  @presentation{Mitchell09_StratifiedNegationHIPAACompliance,
      author = {John C. Mitchell},
      title = {Stratified Negation and HIPAA Compliance},
      day = {30},
      month = {November},
      year = {2009},
      abstract = {The complexity of regulations in healthcare,
                financial services, and other industries makes it
                diffcult 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 U.S. Health Insurance Portability
                and Accountability Act (HIPAA). As part of our
                study, we also explore the deployment of our
                formalization in a prototype hospital Web portal
                messaging system.},
      URL = {http://www.truststc.org/pubs/646.html}
  }
  

Posted by Larry Rohrbough on 5 Nov 2009.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.