Requirements and architectures for secure vehicles

Michael W. Whalen, Darren Cofer, Andrew Gacek

Research output: Contribution to journalArticlepeer-review

11 Scopus citations


In the High-Assurance Cyber Military Systems project, researchers are investigating how to construct complex networked-vehicle software securely. Experiments demonstrated 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.

Original languageEnglish (US)
Article number7498541
Pages (from-to)22-25
Number of pages4
JournalIEEE Software
Issue number4
StatePublished - Jul 1 2016

Bibliographical note

Publisher Copyright:
© 1984-2012 IEEE.


  • High-Assurance Cyber Military Systems
  • software development
  • software engineering
  • software requirements
  • UAVs
  • unmanned aerial vehicles
  • vehicle security


Dive into the research topics of 'Requirements and architectures for secure vehicles'. Together they form a unique fingerprint.

Cite this