Formal Methods for Privacy.

Michael Carl Tschantz, Jeannette M. Wing

Browse the full FM paper archive.