|a privacy specification language||Return to Main Page|
Eddy is a privacy requirements specification language that privacy analysts can use to express requirements over acts to collect, use, transfer and retain personal and technical information. The language uses a simple SQL-like syntax to express whether an action is permitted or prohibited, and to restrict those statements to particular data subjects and purposes. The Eddy specifications are compiled into Description Logic to automatically detect conflicting requirements and to trace data flows within and across specifications. Each specification can describe an organization's data practices, or the data practices of specific components in a software architecure.
For further technical details on Eddy, please see our relevant publications:
We provide interactive examples below to demonstrate the Eddy language, and the Java source code is available on GitHub (source) under GPLv2.
|View and analyze an existing example|
|Example specification to illustrate conflict analysis|
|Example specification to illustrate flow analysis|
|Example specification to illustrate use limitation analysis|