The enforcement of security policies for computation | Synapse