Distributed Transition Systems with Tags for Privacy Analysis

Siva Anantharaman, Sabine Frittella, Benjamin Nguyen

We present a logical framework that formally models how a given private information P stored on a given database D, can get captured progressively, by an agent/adversary querying t…