Abstract. We present a declarative language with a formal semantics for specifying both users' privacy preferences and services' privacy policies. Expressiveness and applicability are maximized by keeping the vocabulary and semantics e behaviours abstract. A privacy-compliant data-handling protocol for a network of communicating principals is described.
Moritz Y. Becker, Alexander Malkis, Laurent Bussar