We abstract the privacy-preserving data-leak detection
problem with a threat model, a security goal and a privacy
goal. First we describe the two most important players in
our abstract model: the organization (i.e., data owner) and the
data-leak detection (DLD) provider