Formally Verified Software in the Real World.
The article discusses the use of formally verified software to protect an autonomous helicopter against cyber attacks. Topics include the testing of vehicles by the U.S. Defense Advanced Research Projects Agency (DARPA) through its High-Assurance Cyber Military Systems (HACMS) program, the role of a...
| Publicado en: | Communications of the ACM Vol. 61; no. 10; pp. 68 - 78 |
|---|---|
| Autores principales: | , , , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Oct2018
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=132750978&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 132750978 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Oct2018 vid: 61 iid: 10 pid: 68 pub: Association for Computing Machinery artinfo: ui: 132750978 10.1145/3230627 ppf: 68 ppct: 10 formats: tig: atl: Formally Verified Software in the Real World. aug: au: KLEIN, GERWIN ANDRONICK, JUNE FERNANDEZ, MATTHEW KUZ, IHOR MURRAY, TOBY HEISER, GERNOT affil: Chief Research Scientist at Data61, CSIRO Conjoint Professor at UNSW, Sydney, Australia Principal Research Scientist at Data61, CSIRO Conjoint Associate Professor at UNSW, Sydney, Australia Leader of the Trustworthy Systems group at Data61 Researcher at Intel Labs, USA Principal Research Engineer at Data61, CSIRO Lecturer at the University of Melbourne, Australia Senior Research Scientist at Data61, CSIRO Scientia Professor and John Lions Chair of Computer Science at UNSW, Sydney, Australia Fellow of the ACM, the IEEE, and the Australian Academy of Technology and Engineering su: Autonomous vehicles Computer software security United States. Defense Advanced Research Projects Agency Computer architecture Computer security sug: subj: Autonomous vehicles Computer software security United States. Defense Advanced Research Projects Agency Computer architecture Computer security ab: The article discusses the use of formally verified software to protect an autonomous helicopter against cyber attacks. Topics include the testing of vehicles by the U.S. Defense Advanced Research Projects Agency (DARPA) through its High-Assurance Cyber Military Systems (HACMS) program, the role of a trusted computing base (TCB) in computer architecture for security, and the componentization of systems. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2018 holdings: @attributes: islocal: N |
|---|