Formal analysis of privacy requirements specifications for multi-tier applications.

Travis D. Breaux, Ashwini Rao

Browse the full RE paper archive.