A framework for translating a high level security policy into low level security mechanisms | Synapse