当前位置:首页 > 报告详情

【新品发布】隆重推出 Nitro 隔离引擎:以数学实现透明化.pdf

上传人: 明**** 编号:1012577 2025-12-21 91页 902.36KB

word格式文档无特别注明外均可编辑修改,预览文件经过压缩,下载原文更清晰!
三个皮匠报告文库所有资源均是客户上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作商用。
根据报告的内容,全文主要内容概括如下: - **AWS Nitro System**:自2018年以来,所有AWS EC2实例均由AWS Nitro System提供支持,该系统基于专用硬件和软件,包括Nitro Hypervisor和六代定制芯片。 - **安全性**:Nitro System确保安全启动过程,所有关键元素均可实时更新,存储、网络和内存的透明加密,且无AWS操作员访问权限。 - **Nitro Hypervisor**:基于KVM的轻量级hypervisor,仅执行实例管理命令,并利用硬件虚拟化功能分配资源。 - **Nitro Isolation Engine**:作为Nitro System的增强,通过形式化验证提供数学保证,确保客户工作负载相互隔离。 - **形式化验证**:Nitro Isolation Engine是世界上第一个经过形式化验证的云计算hypervisor,采用Rust语言编写,并通过自动化推理提供数学保证。 - **关键特性**:内存安全、无运行时错误、功能正确性、机密性和完整性。
安全隔离新篇章?" 云安全新高度?" 揭秘无操作员访问的奥秘?"
客服
商务合作
小程序
服务号
折叠