Automating information flow control in component-based distributed systems