Stories
Slash Boxes
Comments

SoylentNews is people

posted by martyb on Thursday May 22 2014, @12:51PM   Printer-friendly
from the hack-me-if-you-can dept.

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.

 
This discussion has been archived. No new comments can be posted.
Display Options Threshold/Breakthrough Mark All as Read Mark All as Unread
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
  • (Score: 2) by HiThere on Thursday May 22 2014, @07:59PM

    by HiThere (866) Subscriber Badge on Thursday May 22 2014, @07:59PM (#46510) Journal

    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.
    Starting Score:    1  point
    Karma-Bonus Modifier   +1  

    Total Score:   2