你相信存在没有漏洞的代码吗？美国人正在研究

文章预览

来自 ：FreeBuf.COM（ 微信号：freebuf） *原文链接：securitynewspaper、米雪儿编译 万物互联时代的到来，除了为人们的生活提供了便利也带来了众多安全隐患，越来越多的设备更容易遭受黑客攻击。有没有可能诞生一种无法被入侵的代码？ DARPA（美国国防部高级研究计划局）有个HACMS项目，即“高可信军事网络系统”（High-Assurance Cyber Military Systems) ，开发的主要是“formal verification”技术。而项目目标就是让黑客难以入侵到诸如无人机、军事指挥控制网络系统中。 互联网鼻祖DARPA（美国国防部高级研究计划局） 如今我们每天都会使用互联网，而你是否考虑过网络是由谁发明的呢？ 因特网的发明最初的用户群并非普通人，而是国家军事机构，而我们用的因特网是后来转变出来 ………………………………