DARPA Unveils Hack-Proof Drone:
The Pentagon's
Defense Advance Research Project Agency (DARPA) unveiled a new drone built with secure software that
prevents the control and navigation of the aircraft from being hacked.
The program, called High Assurance Cyber Military Systems(HACMS), uses software designed to thwart cyber attacks.
It has been underway with DARPA for several years after originating at the University of California, San Diego and the University of Washington, said Kathleen Fischer, HACMS program manager for DARPA. "The software is designed to make sure a hacker cannot take over control of a UAS. The software is mathematically proven to be invulnerable to large classes of attack," Fisher said.
See the HACMS Open Catalog for access to publications and software that comprise the system, much of which is available as open source.
(Score: 2) by HiThere on Thursday May 22 2014, @07:59PM
Yes, but even more than that, formal verification is just a proof that the software conforms to the specifications, and says nothing about the hardware.
Javascript is what you use to allow unknown third parties to run software you have no idea about on your computer.