Fifth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'04)
Unification in Privacy Policy Evaluation - Translating EPAL into Prolog
Yorktown Heights, New York
June 07-June 09
ISBN: 0-7695-2141-X
Privacy policy evaluation engines enable queries whether a specific user is allowed to access specific data for a specific purpose. While tools for authoring, maintaining, and auditing privacy policies already exist, no tool exists yet to deal with unification within such policies, e.g., to enable queries if data might be modified by some user, or how many user entries satisfy a certain constraint. We show how this can can be achieved by embedding enterprise privacy policies into Prolog. We show this concretely for IBM's Enterprise Privacy Authorization Language (EPAL). Based on the unification mechanisms of Prolog, our work enables general queries for privacy policies as well as quantitative measurements.
Citation:
Michael Backes, Markus D?rmuth, G? Karjoth, "Unification in Privacy Policy Evaluation - Translating EPAL into Prolog," policy, pp.185, Fifth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'04), 2004