The first privacy challenge encountered is the vague
specification of privacy. The Heath Insurance Portability
and Accountability Act (HIPPA) by the U.S. Government is
one attempt to define this term [1]. One issue is that
HIPPA as well as other laws define privacy using human
language (e.g., English), thus, creating a semantic nightmare.
Nevertheless, privacy specification languages have
been developed to specify privacy policies for a system in a
formal way