未加星标

计算机程序能像数学证明那样无法破解

字体大小 | |
[系统(linux) 所属分类 系统(linux) | 发布者 店小二04 | 时间 20160901 | 作者 红领巾 ] 0人收藏点击收藏

计算机程序能像数学证明那样无法破解

  2015 年夏天,一组黑客尝试控制一架军用无人直升机。

  黑客已经抢得了一个先机:他们已能访问无人机的部分计算机系统,他们所需要做的是入侵无人机的机载飞行控制计算机,然后无人机就是他们的了。

  在美国国防部高级研究计划署(DARPA)发起的这个项目的早期,“红队”黑客们就像入侵你的家庭无线网络那样轻而易举的控制无人机。但随后的几个月,DARPA 的工程师实现了一种新的安全机制——一种无法用现有技术破解的软件系统。它的代码就像数学证明那样可靠。即使给予红队六周的时间访问无人机及其网络系统,他们仍然无法破解其防御。DARPA 准备将这项技术应用于更多的领域。挫败黑客们的编程技术叫形式化验证,今天的大部分程序代码都是非形式化的,对其的评估主要是基于它是否能工作。形式化验证代码读起来就像是数学证明。整个程序的测试具有与数学家作证明同等的确定性。

本文地址:http://www.linuxidc.com/Linux/2016-09/135425.htm


计算机程序能像数学证明那样无法破解

本文系统(linux)相关术语:linux系统 鸟哥的linux私房菜 linux命令大全 linux操作系统

分页:12
转载请注明
本文标题:计算机程序能像数学证明那样无法破解
本站链接:http://www.codesec.net/view/483554.html
分享请点击:


1.凡CodeSecTeam转载的文章,均出自其它媒体或其他官网介绍,目的在于传递更多的信息,并不代表本站赞同其观点和其真实性负责;
2.转载的文章仅代表原创作者观点,与本站无关。其原创性以及文中陈述文字和内容未经本站证实,本站对该文以及其中全部或者部分内容、文字的真实性、完整性、及时性,不作出任何保证或承若;
3.如本站转载稿涉及版权等问题,请作者及时联系本站,我们会及时处理。
登录后可拥有收藏文章、关注作者等权限...
技术大类 技术大类 | 系统(linux) | 评论(0) | 阅读(22)