2026-06-11
EC2正式验证"隔离引擎",从数学层面保障虚拟机安全隔离
亚马逊EC2的Nitro隔离引擎是Nitro虚拟机监控程序的核心组件,也是首个在商业云环境中部署的经过正式验证的虚拟机监控程序。该引擎采用Isabelle/HOL证明助手完成验证,生成了33万行机器验证数学代码,规模与s...
亚马逊EC2的Nitro隔离引擎是Nitro虚拟机监控程序的核心组件,也是首个在商业云环境中部署的经过正式验证的虚拟机监控程序。该引擎采用Isabelle/HOL证明助手完成验证,生成了33万行机器验证数学代码,规模与s...
欧盟发布"欧洲技术主权一揽子方案",旨在减少对美国和中国在AI、云计算及半导体领域供应商的依赖。方案包含《云与AI发展法案》(CAIDA)2.0及《芯片法案》2.0等立法提案。CAIDA计划在未来五至七年内将欧盟数据中心...
IBM正式发布"主权风险档案"工具,帮助企业评估云主权风险并满足合规要求。用户可针对数据存储、加密等监管需求设置策略,并实时追踪特定云工作负载的合规状态。据IBM调查,93%的高管认为数字主权应纳入企业战略。分析师指出,...
谷歌发布私密AI计算服务,旨在将Android设备端私密计算核心的信任承诺扩展到云端数据中心。该服务类似苹果的私有云计算,通过可信执行环境等技术对用户数据进行加密隔离处理。谷歌声称该系统在推理请求时在受保护环境中处理数据...
谷歌详细介绍了其私有AI计算系统,这是一个专为Pixel 10系列手机AI功能设计的云端安全保护方案。由于部分AI模型过于庞大无法在设备端运行,谷歌将其托管在云端。该系统采用定制TPU加速器、AMD处理器的SEV-SNP...