新加坡联合早报中文网即时报道亚洲和国际的评论、商业、体育、生活、科技与多媒体新闻,从世界各个维度报道世界经济新闻,时政新闻,突发新闻等。

当前位置:主页 > 新闻 > 耶鲁大学教授邵中:如何构建无法被攻破的黑客防御系统 | CCF-GAIR 2017

耶鲁大学教授邵中:如何构建无法被攻破的黑客防御系统 | CCF-GAIR 2017

来源:联合早报中文网作者:邵湖心更新时间:2020-08-30 19:16:04阅读:

本篇文章956字,读完约2分钟

2017年7月7日至9日,全球人工智能和机器人峰会ccf-gair会议在深圳喜来登大中华区酒店举行。由中国计算机联合会主办,雷锋主持。这次会议聚集了来自世界各地的30多名顶尖院士和近300家ai star ai企业。参赛人数为3000人,均为中国第一阵容。雷锋的记者。(公开号码:雷锋。com)在会议期间第一时间做了现场汇报。

耶鲁大学教授邵中:如何构建无法被攻破的黑客防御系统 | CCF-GAIR 2017

9日上午,耶鲁大学教授邵忠发表了题为“certikos:抗黑客操作系统的突破”的演讲。

邵忠教授的研究内容是如何提高和确保现代操作系统的安全性,以避免攻击者攻击智能系统,造成异常的智能汽车或最近的勒索软件。邵忠教授引用了《纽约时报》的一篇报道,没有证据表明智能汽车系统比传统的计算机系统更安全。然而,如果智能汽车系统受到攻击并出现问题,它会对社会造成巨大威胁。

耶鲁大学教授邵中:如何构建无法被攻破的黑客防御系统 | CCF-GAIR 2017

为了达到安全的目的,邵忠教授在耶鲁大学开发了一种新的操作系统。由于所有的漏洞都不能通过测试发现,邵忠教授采用了一种新的“形式验证”——“形式验证”的方法来保证在各种条件下的安全性。

然而,编写这样的操作系统非常困难。汇编、C和形式代码需要相互引用和嵌入,最后它们都需要编译成机器语言。这还不是全部。现代硬件是多核cpu,并且存在多核协作的问题。

为了解决这些问题,邵忠教授的certikos采用了认证抽象层的结构,然后使用先验证后编译的组织逻辑来保证整个系统的安全性。

在系统初步研发完成,设计方法得到验证后,系统逐渐增加了中断和协作功能。现在,该系统可以在无人驾驶排雷车和无人驾驶飞行器上运行,并且可以抵抗攻击。

根据邵忠教授的说法,系统上的软件也应该符合系统规范。经过正式的标准化验证,代码和状态应该一致,等等。该系统在处理并发线程时也有自己的处理方法。

接下来,邵忠教授详细介绍了系统设计、功能实现、高层抽象、系统验证和测试。

邵忠教授最后说,目前的智能系统是基于开放源代码开发的,但不安全的系统,如linux和安卓的快速图形;然而,随着相关技术的进一步发展和对安全性的更高要求,操作系统演化的拐点即将到来。

演讲结束后,教授还与组委会主席、哈尔滨工业大学(深圳)教授、朱就智能汽车操作系统的支持和应用进行了对话。

请继续关注雷锋。更多精彩的会议内容和演讲全文。

雷锋原创文章。严禁擅自转载。详情请参考转载说明。

标题:耶鲁大学教授邵中:如何构建无法被攻破的黑客防御系统 | CCF-GAIR 2017

地址:http://www.6st8.com/zbxw/4347.html

免责声明:联合早报中文网从世界各个维度报道世界经济新闻,时政新闻,突发新闻等,本篇的部分内容来自于网络,不为其真实性负责,只为传播网络信息为目的,非商业用途,如有异议请及时联系btr2018@163.com,联合早报中文网的小编将予以删除。

返回顶部