Challenges for Securing Cyber Physical Systems
basic concepts and taxonomy of dependable and secure computing .