Title: Properties and meta-properties of secure composable systems