免费下载案例集|20+数字化领先企业人才培养实践经验 了解详情
写点什么

龙蜥社区正式上线首个 CSV 机密容器解决方案

  • 2022-05-24
  • 本文字数:1117 字

    阅读完需:约 4 分钟

龙蜥社区正式上线首个 CSV 机密容器解决方案

InfoQ 获悉,5 月 24 日,龙蜥社区正式上线首个 CSV 机密容器解决方案。


据悉,CSV 是中科海光自主研发的安全虚拟化技术,采用国密算法实现,CSV 虚拟机在写内存数据时 CPU 硬件自动加密,读内存数据时硬件自动解密,每个 CSV 虚拟机使用不同的密钥。


经过龙蜥社区和海光合作开发,龙蜥 8.4已经正式支持基于海光 CSV 技术的机密容器,实现了容器从镜像下载到运行整个生命周期的安全性,是社区首个机密容器完整解决方案。

CSV 虚拟机的特点


据了解,CSV 虚拟机具备以下三大特点:


1.计算资源被隔离。


海光 CPU 内部使用 ASID(Address Space ID)区分不同的 CSV 虚拟机和主机,每个 CSV 虚拟机使用独立的 Cache、TLB 等 CPU 资源,实现 CSV 虚拟机、主机之间的资源隔离。每个 CSV 虚拟机在内存控制器中有对应的密钥,密钥相互独立,由海光安全处理器管理,一个加密虚拟机的加密内存数据不会被主机或其他 CSV 虚拟机解密。


2.启动过程可度量。


CSV 虚拟机的启动过程由海光安全处理器管理,用户将虚拟机文件和对应的度量值提供给安全处理器,安全处理器计算文件的度量值并和用户提供的度量值进行比较,度量值相等才能继续启动,如果不相等则表明虚拟机文件已经被篡改,虚拟机启动失败。


3.虚拟机身份可认证。


每颗海光 CPU 内置了一个唯一的芯片密钥,同时拥有一份由海光签名的芯片证书,用户通过检查芯片证书的签名来确认是不是合法的海光芯片,进一步检查虚拟机的认证报告可以确认是不是合法的 CSV 虚拟机。


CSV 虚拟机的认证报告包含虚拟机的度量值、版本号、所有者等信息,认证报告被芯片密钥签名,用户检查报告签名确认报告的合法性,检查度量值等信息确认虚拟机的合法性,进而实现 CSV 虚拟机远程认证功能。

CSV 机密容器方案架构


基于海光 CSV 的机密容器方案,结合了 Kata 容器、CSV 虚拟机、Inclavare Containers 的技术优势,通过 Kata 创建 CSV 虚拟机作为容器运行的可信环境,将 CSV 虚拟机的远程认证功能与 Inclavare Containers 的 RATS-TLS 功能相结合,在 TLS 证书中嵌入 CSV 虚拟机的认证报告,该认证报告包含 TLS 公钥信息和海光芯片密钥的签名。用户检查该认证报告可以确认当前容器的运行环境是可信的 CSV 虚拟机,并且该 TLS 公钥是合法的,后续可用于双方安全通信。


CSV 机密容器方案架构如下图所示:



容器仓库中的镜像是加密的,使用 Verdictd 管理容器镜像的加密密钥,Verdictd 检查 CSV 虚拟机的远程认证报告通过后,将镜像密钥注入到 CSV 虚拟机,虚拟机中的 Kata agent 使用该密钥解密容器镜像并运行容器。整个过程中容器的数据处于被加密的状态,包括容器镜像中的数据和容器运行时的内存数据,实现了容器全生命周期的安全性。


目前,CSV 机密容器解决方案操作文档已经发布在龙蜥机密计算 SIG 中。

2022-05-24 15:062937

评论 1 条评论

发布
用户头像
666
2022-05-26 13:56
回复
没有更多了
发现更多内容

抽象工厂模式

Leetao

Python 面试 设计模式

ARTS-WEEK6

一周思进

ARTS 打卡计划

分布式系统设计理念这么难学?

架构师修行之路

架构 分布式

低代码与无代码

lidaobing

低代码 无代码开发

MySQL实战45讲总结

`

MySQL

观智能化浪潮如何改变产业链创新

CECBC

昆明市成立两大“高端”中心,区块链赋能生物医药和高原特色农业

CECBC

每周学习总结 - 架构师培训 5 期

Damon

SpringBoot 入门:03 - 统一请求返回

封不羁

Java spring springboot

进程、线程基础知识全家桶,30 张图一套带走

小林coding

Linux 操作系统 计算机基础 进程 进程线程区别

编程核心能力之抽象

顿晓

抽象 编程日课

ARTS打卡 第7周

引花眠

ARTS 打卡计划

简述CAP理论

lei Shi

设计模式(1)—什么是设计模式?设计模式的六大原则是什么?

爱嘤嘤嘤斯坦

Java 程序员 编程语言 设计模式 23种设计模式

Mysql插入百万条数据

Java小咖秀

MySQL 运维 数据

手把手整合SSM框架

JavaPub

极客时间 - 架构师培训 - 6 期作业

Damon

【计算机网络】为什么要三次握手四次挥手?

烫烫烫个喵啊

TCP 计算机网络

Go:Stringer命令,通过代码生成提高效率

陈思敏捷

stringer Go 语言

ARTS打卡 - Week 07

teoking

数据驱动 vs 关键字驱动:对UI自动化测试框架搭建的探索

冯文辉

DevOps 敏捷 自动化测试

redis系列之——高可用(主从、哨兵、集群)

诸葛小猿

redis redis集群 redis哨兵 redis主从

程序的机器级表示-程序的编码

引花眠

计算机基础

Cache解决算法 Charles断点调试breakpoint John 易筋 ARTS 打卡 Week 08

John(易筋)

ARTS 打卡计划

智慧4S店解决方案发布,看英特尔如何引领汽车销售行业变革

最新动态

每周学习总结 - 架构师培训 6期

Damon

ARTS打卡-06

Geek_yansheng25

ARTS WEEK5

紫枫

ARTS 打卡计划

负载均衡方式

羽球

负载均衡

一致性hash算法及标准差验证

Damon

【计算机网络】如何实现可靠数据传输?

烫烫烫个喵啊

龙蜥社区正式上线首个 CSV 机密容器解决方案_文化 & 方法_凌敏_InfoQ精选文章