A Formalization of HIPAA for a Medical Messaging System
Identifieur interne : 000A33 ( Main/Curation ); précédent : 000A32; suivant : 000A34A Formalization of HIPAA for a Medical Messaging System
Auteurs : E. Lam [États-Unis] ; C. Mitchell [États-Unis] ; Sharada Sundaram [États-Unis, Inde]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2009.
Abstract
Abstract: 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 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:
DOI: 10.1007/978-3-642-03748-1_8
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000761
- to stream Istex, to step Curation: Pour aller vers cette notice dans l'étape Curation :000752
- to stream Istex, to step Checkpoint: Pour aller vers cette notice dans l'étape Curation :000556
- to stream Main, to step Merge: Pour aller vers cette notice dans l'étape Curation :000A42
Links to Exploration step
ISTEX:8E344BD130433966854DC5AE6EF3C31D42119834Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Formalization of HIPAA for a Medical Messaging System</title>
<author><name sortKey="Lam, E" sort="Lam, E" uniqKey="Lam E" first="E." last="Lam">E. Lam</name>
</author>
<author><name sortKey="Mitchell, C" sort="Mitchell, C" uniqKey="Mitchell C" first="C." last="Mitchell">C. Mitchell</name>
</author>
<author><name sortKey="Sundaram, Sharada" sort="Sundaram, Sharada" uniqKey="Sundaram S" first="Sharada" last="Sundaram">Sharada Sundaram</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:8E344BD130433966854DC5AE6EF3C31D42119834</idno>
<date when="2009" year="2009">2009</date>
<idno type="doi">10.1007/978-3-642-03748-1_8</idno>
<idno type="url">https://api.istex.fr/document/8E344BD130433966854DC5AE6EF3C31D42119834/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000761</idno>
<idno type="wicri:Area/Istex/Curation">000752</idno>
<idno type="wicri:Area/Istex/Checkpoint">000556</idno>
<idno type="wicri:doubleKey">0302-9743:2009:Lam E:a:formalization:of</idno>
<idno type="wicri:Area/Main/Merge">000A42</idno>
<idno type="wicri:Area/Main/Curation">000A33</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Formalization of HIPAA for a Medical Messaging System</title>
<author><name sortKey="Lam, E" sort="Lam, E" uniqKey="Lam E" first="E." last="Lam">E. Lam</name>
<affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country>
<placeName><region type="state">Californie</region>
</placeName>
<wicri:cityArea>Stanford University, Stanford</wicri:cityArea>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
<author><name sortKey="Mitchell, C" sort="Mitchell, C" uniqKey="Mitchell C" first="C." last="Mitchell">C. Mitchell</name>
<affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country>
<placeName><region type="state">Californie</region>
</placeName>
<wicri:cityArea>Stanford University, Stanford</wicri:cityArea>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
<author><name sortKey="Sundaram, Sharada" sort="Sundaram, Sharada" uniqKey="Sundaram S" first="Sharada" last="Sundaram">Sharada Sundaram</name>
<affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country>
<placeName><region type="state">Californie</region>
</placeName>
<wicri:cityArea>Stanford University, Stanford</wicri:cityArea>
</affiliation>
<affiliation wicri:level="1"><country xml:lang="fr">Inde</country>
<wicri:regionArea>Tata Research Development and Design, Pune</wicri:regionArea>
<wicri:noRegion>Pune</wicri:noRegion>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2009</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">8E344BD130433966854DC5AE6EF3C31D42119834</idno>
<idno type="DOI">10.1007/978-3-642-03748-1_8</idno>
<idno type="ChapterID">8</idno>
<idno type="ChapterID">Chap8</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: 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 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.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/OcrV1/Data/Main/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000A33 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Curation/biblio.hfd -nk 000A33 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Ticri/CIDE |area= OcrV1 |flux= Main |étape= Curation |type= RBID |clé= ISTEX:8E344BD130433966854DC5AE6EF3C31D42119834 |texte= A Formalization of HIPAA for a Medical Messaging System }}
This area was generated with Dilib version V0.6.32. |