Secure Composition of Systems and Policies