Rockwell Collins has been contracted by the U.S. military to use mathematics-based development methods to secure platforms against cyber attack.

The Mathematics-based techniques were developed by Rockwell Collins and its partners in the High Assurance Cyber Military Systems, or HACMS, program of the U.S. Defense Advanced Research Projects Agency, or DARPA.

The DARPA program's goal is to ensure cyber resilience by eliminating important classes of system vulnerabilities.

"In today's highly connected world, land, air and sea platforms can fall victim to cyber attack," John Borghese, vice president of the Advanced Technology Center for Rockwell Collins, said in a press release. "HACMS provides peace of mind and high assurance that these systems are resistant to a cyber attack."

Technologies developed by Rockwell and its HACMS team -- including Galois, Data 61, HRL and the University of Minnesota -- aim for a higher level of cyber security. Among the new technologies are architectural modeling and analysis, a secure microkernel, and automatic generation of the application code.

Rickwell Collins said mathematical reasoning is used with each for an absence of vulnerabilities that can be exploited in a cyber attacks.

The technologies and methods will be initially applied to support U.S. Navy programs, the company said.

Tweet

Denmark says Russia hacked defence ministry emails
Stockholm (AFP) April 24, 2017
Denmark on Monday denounced Moscow's "aggressive" behaviour after a report accused Russian hackers of infiltrating the defence ministry's email accounts. "This is part of a continuing war from the Russian side in this field, where we are seeing a very aggressive Russia," Defence Minister Claus Hjort Frederiksen told Danish news agency Ritzau. A report published Sunday by the Centre for C ... read more

Related Links
Cyberwar - Internet Security News - Systems and Policy Issues

Thanks for being here; We need your help. The SpaceDaily news network continues to grow but revenues have never been harder to maintain. With the rise of Ad Blockers, and Facebook - our traditional revenue sources via quality network advertising continues to decline. And unlike so many other news sites, we don't have a paywall - with those annoying usernames and passwords. Our news coverage takes time and effort to publish 365 days a year. If you find our news sites informative and useful then please consider becoming a regular supporter or for now make a one off contribution.
SpaceDaily Contributor $5 Billed Once credit card or paypal		SpaceDaily Monthly Supporter $5 Billed Monthly paypal only