Enforcing spatial constraints for mobile RBAC systems | Synapse