Visible to the public Dynamic Enforcement of Knowledge-Based Security Policies