Composition and integrity preservation of secure reactive systems