The U.S. Defense Advanced Research Projects Agency (DARPA) invited hackers at the recent DEF CON cybersecurity convention to attempt to compromise and commandeer software for a remote-controlled quadcopter drone.
DARPA's Ray Richards said all tries to hack the High-Assurance Cyber Military Systems (HACMS) failed.
HACMS software uses a technique called formal methods to mathematically guarantee the absence of bugs that let hackers infiltrate computer systems.
The HACMS software architecture rigidly partitioned the different functions of the mission control system, ensuring that while the system's video camera software could be compromised, command and control functions could not.
Said Richards, "The ever-increasing focus on cybersecurity will increase the demand for large-scale application of formal methods."
From Air Force Magazine
View Full Article
Abstracts Copyright © 2021 SmithBucklin, Washington, DC, USA
No entries found