Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems |