Ensuring integrity by adding obligations to privileges | Synapse