Type Checking Privacy Policies in the π-calculus.

Dimitrios Kouzapas, Anna Philippou

Browse the full FORTE paper archive.