哥伦比亚大学团队构建首个反黑客云软件系统

每当您在亚马逊上购买商品时，您的数据都会自动更新并存储在云端的数千个服务器中。对于像Amazon这样的企业，确保其数百万客户数据的安全性是至关重要的。大型和小型组织均是如此。但是到目前为止，还没有办法保证软件系统不受错误，黑客和漏洞的影响。

哥伦比亚工程研究人员可能已经解决了此安全问题。他们开发了SeKVM，这是第一个通过数学证明来保证云中虚拟机安全性的系统。在2021年5月26日举行的第42届IEEE安全与隐私研讨会上发表的一篇新论文中，研究人员希望为系统软件验证未来创新奠定基础，从而开发出新一代的网络弹性系统软件。

正确，安全的系统软件的构建一直是计算的重大挑战之一。SeKVM是第一个经过正式验证的用于云计算系统。正式验证是至关重要的一步，因为它是证明软件在数学上正确无误，程序代码可以正常运行以及没有隐患的安全性漏洞的过程。

他们的研究引起了人们的极大兴趣：两位研究人员均获得了亚马逊研究奖，美国国家科学基金会的多项资助，以及数百万美元的国防高级研究计划局（DARPA）合同，以进一步开发SeKVM项目。

SeKVM已使用MicroV（一种用于验证大型系统的安全性的新框架）进行了验证。基于这样的假设，对系统进行小的更改可以使它的验证变得非常容易，这是研究人员称为微验证的一项新技术。这种新颖的分层技术可对现有系统进行改造，并将实施安全性的组件提取到一个经过验证的小核中，从而保证了整个系统的安全性。

作为第一个经过验证的商品管理程序，SeKVM可以改变云服务的设计，开发，部署和信任方式。在网络安全日益受到关注的世界中，对这种弹性的需求非常迫切。大型云公司已经在探索如何利用SeKVM满足这一需求。获取更多前沿科技 研究访问：https://byteclicks.com