Can We Trust the Privacy Policies of Android Apps?
Formal analysis of privacy requirements specifications for multi-tier applications