forked from briangu/hipaa
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.php
45 lines (43 loc) · 2.54 KB
/
index.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
<?php include("pageTop.html"); ?>
<!-- start content -->
<div id="content">
<div class="post">
<h1 class="title">HIPAA as Logic Program </h1>
<div class="entry">
<p>The Logic formalization of HIPAA is a translation of the HIPAA law into a logical programming language, Prolog.
The Prolog translation can be executed and reports whether a given action complies with HIPAA.<br />
We translate the HIPAA regulation into Prolog one statement at a time. You can verify our
translation by examining the side-by-side comparison.<br />
We envision this project to be a collaborative open-source effort. The code base can be found
<a href="http://code.google.com/p/hipaa/"> here </a></p>
</div>
</div>
<div class="post">
<h1 class="title">Academic papers </h1>
<div class="entry">
<p><a href="http://www-cs-students.stanford.edu/~pflam/research/HIPAA_formalization.TB2009.pdf" rel="nofollow">A
Formalization of HIPAA for a Medical Messaging System</a>. Peifung E. Lam, John C. Mitchell, and Sharada Sundaram.
In Proc. of the 6th International Conference on Trust, Privacy and Security in Digital Business (TRUSTBUS 2009) </p>
<p><a href="http://www.adambarth.com/papers/2007/barth-datta-mitchell-sundaram.pdf" rel="nofollow">Privacy and
Utility in Business Processes</a>. Adam Barth, Anupam Datta, John C. Mitchell, and Sharada Sundaram. In Proc. of the
20th IEEE Computer Security Foundations Symposium (CSF 2007) </p>
<p><a href="http://www.adambarth.com/papers/2006/barth-datta-mitchell-nissenbaum.pdf" rel="nofollow">Privacy and
Contextual Integrity: Framework and Applications</a>. Adam Barth, Anupam Datta, John C. Mitchell, and Helen Nissenbaum.
In Proc. of the 27th IEEE Symposium on Security and Privacy (Oakland 2006) </p>
</div>
</div>
<div class="post">
<h2 class="title">Current version of the translation</h2>
<div class="entry">
<p>Current implementation checks compliance with HIPAA rules 160.502 and 164.506. Referred to <i>HIPAA
Administrative Simplification, Regulation Text: 45 CFR Parts 160, 162, and 164 (Unofficial Version,
as amended through February 16, 2006) </i>[<a href="http://www.hhs.gov/ocr/AdminSimpRegText.pdf">PDF 769KB</a>]</p>
</div>
<div class="meta">
<p class="byline">Posted on August 15, 2008 bySha</p>
<p class="links"><a href="mailto:ss@cs.stanford.edu" class="comments">Questions or Comments?</a></p>
</div>
</div>
</div>
<!-- end content -->
<?php include("pageBottom.html"); ?>