Үүнийг мессежээр илгээх: Composing and decomposing systems under security properties