Implementation of Privacy Calculus and Its Type Checking in Maude.

Georgios V. Pitsiladis, Petros S. Stefaneas

Browse the full ISoLA paper archive.