Measurable and Composable Security Privacy and Dependability for Cyberphysical Systems