Seol mar théacs é seo: Composing and decomposing systems under security properties