A language for automatically enforcing privacy policies