Privacy APIs: Formal Models for Legislative Privacy Policies
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies