Controlling a Car Through OBD Injection
basic concepts and taxonomy of dependable and secure computing .