Requirements and architectures for secure vehicles

Michael W. Whalen; Darren Cofer; Andrew Gacek

doi:10.1109/MS.2016.94

Requirements and architectures for secure vehicles

Michael W. Whalen, Darren Cofer, Andrew Gacek

Research output: Contribution to journal › Article › peer-review

11 Scopus citations

Abstract

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 language	English (US)
Article number	7498541
Pages (from-to)	22-25
Number of pages	4
Journal	IEEE Software
Volume	33
Issue number	4
DOIs	https://doi.org/10.1109/MS.2016.94
State	Published - Jul 1 2016

Bibliographical note

Publisher Copyright:
© 1984-2012 IEEE.

Keywords

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

Access

10.1109/MS.2016.94

OpenUrl availability

Full text

Cite this

@article{b8e255f23dc94a31a03dd58837d234d3,

title = "Requirements and architectures for secure vehicles",

abstract = "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.",

keywords = "HACMS, High-Assurance Cyber Military Systems, software development, software engineering, software requirements, UAVs, unmanned aerial vehicles, vehicle security",

author = "Whalen, {Michael W.} and Darren Cofer and Andrew Gacek",

note = "Publisher Copyright: {\textcopyright} 1984-2012 IEEE.",

year = "2016",

month = jul,

day = "1",

doi = "10.1109/MS.2016.94",

language = "English (US)",

volume = "33",

pages = "22--25",

journal = "IEEE Software",

issn = "0740-7459",

publisher = "IEEE Computer Society",

number = "4",

}

TY - JOUR

T1 - Requirements and architectures for secure vehicles

AU - Whalen, Michael W.

AU - Cofer, Darren

AU - Gacek, Andrew

PY - 2016/7/1

Y1 - 2016/7/1

N2 - 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.

AB - 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.

KW - HACMS

KW - High-Assurance Cyber Military Systems

KW - software development

KW - software engineering

KW - software requirements

KW - UAVs

KW - unmanned aerial vehicles

KW - vehicle security

UR - http://www.scopus.com/inward/record.url?scp=84977151053&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84977151053&partnerID=8YFLogxK

U2 - 10.1109/MS.2016.94

DO - 10.1109/MS.2016.94

M3 - Article

AN - SCOPUS:84977151053

SN - 0740-7459

VL - 33

SP - 22

EP - 25

JO - IEEE Software

JF - IEEE Software

IS - 4

M1 - 7498541

ER -

Requirements and architectures for secure vehicles

Abstract

Bibliographical note

Keywords

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this