From helicopters to medical devices and power stations, mathematical proof that software at the heart of an operating system is secure could keep hackers out
Autonomous, and staying that way (Image: Boeing)
AN AUTONOMOUS helicopter gunship is flying over a military base in Arizona. Suddenly, officers on the ground lose radio contact: hackers have taken control of an on-board computer. Could they fly the helicopter?
This has happened – well, almost. New Scientist can reveal that the US Defense Advanced Research Projects Agency (DARPA) used this scenario in a drill to test the cybersecurity of an uncrewed Boeing Little Bird helicopter.
Despite the hackers being given unfettered access to the computer, and then trying their hardest to disable the helicopter – even crashing the computer – they could not disrupt critical systems. For DARPA, which is aiming to develop androne by 2018 as part of its High-Assurance Cyber Military Systems (HACMS) programme, the drill was a success.
This isn’t just about the military, though. The …
This entry passed through the Full-Text RSS service – if this is your content and you’re reading it on someone else’s site, please read the FAQ at fivefilters.org/content-only/faq.php#publishers.