Anfonwch hwn fel neges destun: Composing and decomposing systems under security properties