Formal analysis of privacy requirements specifications for multi-tier applications
A requirements taxonomy for reducing Web site privacy vulnerabilities