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... |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/MS.2016.94 | IEEE Software |
Keywords | Field | DocType |
Software engineering,Computer architecture,Encryption,Computer crime,Unmanned aerial vehicles,Military communication | Software engineering,Computer science,Computer security,Military systems,Encryption,Software,Systems architecture,Software development,Software requirements | Journal |
Volume | Issue | ISSN |
33 | 4 | 0740-7459 |
Citations | PageRank | References |
2 | 0.38 | 3 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael W. Whalen | 1 | 1096 | 70.54 |
Darren D. Cofer | 2 | 214 | 20.08 |
Andrew Gacek | 3 | 17 | 2.15 |