Requirements and Architectures for Secure Vehicles

Author Michael W. Whalen provides an audio recording of the
Requirements column that he cowrote with Darren Cofer and Andrew
Gacek, in which they discuss how researchers in the High-Assurance
Cyber Military Systems project discovered that careful attention to
requirements and system architecture, along with formally verified
approaches that remove known security weaknesses, can lead to
vehicles that can withstand attacks from even sophisticated
attackers with access to vehicle design data. From IEEE Software's
July/August 2016 issue:
www.computer.org/csdl/mags/so/2016/04/index.html. Visit IEEE
Software: www.computer.org/software.