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.