改善 Docker 镜像系统安全性的补救措施

时间:14-12-26 栏目:云计算技术 作者:爱说云网 评论:0 点击: 2,046 次

最近在使用Docker下载一个“官方”容器镜像时我看到这么一行提示:

  ubuntu:14.04: The image you are pulling has been verified

我当时以为这和Docker极力推荐的镜像签名系统有关,所以并未深究。后来,在研究Docker镜像安全相关的加密系统时,我开始进一步探索Docker的镜像安全。而我发现所有与镜像安全相关的逻辑完全是系统性的错误。

按照Docker的说法,下载的镜像完全是基于签名的manifest的存在而做出的,并且Docker并没有从manifest中校验镜像的校验和(checksum)。攻击者可以伪造提供一个具有签名证明的镜像,这个问题很容易被攻击者利用。

镜像从HTTPS服务器上下载下来,然后通过Docker daemon的一个不安全的流处理管道:

  [解压缩] -> [tarsum] -> [解包]

这个管道很高效,但毫无安全可言。在未验证签名之前,管道不应该处理不受信任的输入。然而,在验证检验和之前,Docker进行了三次镜像的处理。

尽管Docker做了声明,但它从未实际检查过镜像校验。下面是Docker中唯一一处与验证镜像校验和有关的代码,但是即便在镜像中提供不匹配的校验和,我也无法触发这个警告。

  1. if img.Checksum != "" && img.Checksum != checksum { 
  2.  
  3. log.Warnf("image layer checksum mismatch: computed %q, 
  4.  
  5. expected %q", checksum, img.Checksum) 
  6.  

不安全的处理管道

解压缩

Docker支持三种压缩算法:gzip、bzip2和xz。前两者使用Go的标准库实现,这是内存安全的,所以我能想到的漏洞类型是拒绝服务攻击,如宕机、CPU和内存过度使用。

第三个压缩算法xz更有趣。因为没有原生的Go实现,Docker运行xz程序来解压缩。

xz程序来自XZ Utils项目,它从接近2万行C代码中构建而来。C不是一个内存安全的语言。这意味着一个C程序的恶意输入,此处为XZ Utils正在解包的Docker镜像,有执行任意的代码的可能。

如果Docker以root运行xz,那会更糟糕,这意味着如果xz存在一个漏洞,执行docker pull将严重危及你的整个系统。

Tarsum

tarsum的使用出于好意,但完全错误。为了取得一个任意编码的tar文件的确定性校验和,Docker对tar进行解码然后以确定性顺序对特定部分进行哈希,排除了其他部分。

因为这个处理过程是为了生成校验和,它正在解码的不受信任的数据可被设计成利用tarsum代码的漏洞。这里可能的漏洞是拒绝服务攻击以及逻辑缺陷,这将引起文件在不改变校验和的情况下被注入、跳过、使用不同方式处理、修改、添加等。

解包

解包分为tar解码和将文件到保存到硬盘中两个步骤,在编写本文的时候已经有解包阶段的三个其他漏洞被报告出来,所以这也是非常危险的。

不应该存在未被检验的数据被解包到硬盘中的情况。

libtrust

libtrust是一个提供认证和权限控制的Docker包。但是官方没有提供任何的规范,但它看起来像是实现了Javascript对象签名与加密规范的一部分,以及其他不明算法。

所以在下载一个manifest签名的以及使用libtrust验证的镜像时,会有如下不准确的提示:

ubuntu:14.04: The image you are pulling has been verified

目前只有Docker公司公布的“官方”镜像manifest使用这个系统签名,但从我参加的最近一次Docker管理咨询委员会会议的讨论看来,Docker公司计划在未来更广泛的部署它。目标应该是集中管理,由Docker公司控制一个发证机构用于镜像和/或客户证明签名。

我曾在Docker代码中查找签名密钥,但没找到。看来密钥并没有嵌入到程序中。实际上,Docker后台会在每次镜像下载时通过HTTPS从CDN获取密钥。这是一个非常糟糕的方式,因为有很多种攻击可以导致受信任的密钥被替换成恶意的。这种攻击包括但不限于:CDN供应商威胁、CDN供应密钥源威胁以及客户端下载密钥时的中间人攻击。

补救

在完成此项研究之前,我已经报告了我发现的tarsum系统的几个问题,但至今没有一个被修复。

我觉得必须采取一些措施来改善Docker镜像下载系统的安全性:

弃用tarsum并实际验证镜像摘要

为安全起见,不应该使用tarsum。取而代之的是在进行任何处理前,将镜像完全下载并对其加密签名进行验证。

增加权限隔离

涉及解压缩或解包的镜像处理步骤必须运行于具有最低限度的必要的权限的隔离的程序(容器?)中。不应该存在像xz这样的解压缩工具必须以root运行的情况。

更换libtrust

用The Update Framework替换libtrust,前者是明确设计用于解决软件程序签名的实际问题的。它的威胁模型非常全面,并且解决了很多libtrust没有考虑到的事情。它拥有一个完整的规范,以及一个Python的参考实现,我已经开始Go的实现并且欢迎任何人加入。

作为添加TUF到Docker的一部分,一个映射根密钥到registry URL的本地密钥库将被加入,以便用户可以使用不受Docker公司管理的自有签名密钥。

我想指出的是,一般情况下使用非Docker公司托管的registry用户体验非常差。在没有任何技术原因的情况下,Docker公司似乎乐于将第三方registry降低为二等地位。这对一般的生态系统和最终用户的安全来说都是个问题。综合而言,针对第三方registry的分散的安全模型是必要和可取的。我非常期待Docker公司在重新设计他们的安全模型和镜像验证系统时考虑这一点。

结论

Docker用户应该清楚负责下载镜像的代码是极其不安全的。用户只能下载那些来源没有问题的镜像。目前,这不包括托管于Docker公司的“可信的”的镜像,包括官方的Ubuntu和其他基础镜像。

最好的办法是在本地阻止index.docker.io,并在镜像导入到Docker之前手动使用docker load下载并检验镜像。Red Hat的安全博客有篇与此相关的好文章。

感谢Lewis Marshall指出tarsum从未被验证。

相关文章

云计算和高性能计算与通信
views 1504
当人们对云计算众说纷纭,认为它在改变整个计算世界时,我们看到了一些迹象,证实云计算的确掀起了计算领域的革新浪潮。当一项新技术诞生时,人们往往把它当作包治百病的灵丹妙药。新技术就像一把锤子,为了让锤子发挥作用人们四处寻找钉子,甚至把一切事物都看成了钉子。云计算也不例外。接下来我们将深入了解云计算以及它...
什么是云计算
views 1868
 云计算(cloud computing,台湾译作云端运算),是分布式计算技术的一种,其最基本的概念,是透过网络将庞大的计算处理程序自动分拆成无数个较小的子程序,再交由多部服务器所组成的庞大系统经搜寻、计算分析之后将处理结果回传给用户。透过这项技术,网络服务提供者可以在数秒之内,达成处理数以千万计甚...
云计算的关键技术
views 2891
云计算的关键技术 1编程模型   2海量数据分布存储技术   3 海量数据管理技术   4虚拟化技术   5云计算平台管理技术...
城市智能需求上升物联网在其有何贡献-国内...
views 2016
随着城市的扩展,公共产所设施的完善,以及人口数量的增多,社会安防交通压力也随之而增。交通问题的解决从单一的安防产品向系统解决方案发展,以科技与互联网为基础的指南通道安防系统已成为趋势,遍及校园、社区、景点等多个领域。   国家《物联网“十二五”发展规划》中明确指出:“在重点领域开展应用示范工程,探...
云计算市场现状及未来如何?
views 1758
由北桥创投(North Bridge Venture Partners)、Gigaom研究机构以及其它70家组织共同进行的第四届云计算的未来的调查结果今日公布。这次调查是目前为止规模最大的一次,也是该行业以云技术演化的最深最广泛的一次调查。 此次调查受访者多达1358个,调查分析了云被企业采用背后...
盘点:2014年那些颠覆性的生物传感器-传感器...
views 1699
传感器领域的技术发展直接影响到移动医疗的产品迭代,成本控制及用户体验,因而值得互联网医疗创业者与投资方密切关注。尤其在可穿戴设备领域,更直接影响数据采集端的采集能力。   根据全球知名市场调研公司PMR(Persistence Market Research)近日发布的一份新报告,未来6年,全球生...
小镇故事:以云计算之名
views 1707
   浙江杭州西湖区转塘镇,地处西湖南部,东濒钱塘江,西至灵山,南临富春江,北望西湖。有民间歌谣这样形容转塘的历史变迁:“春秋战国,一片汪洋;吴越水师,定山战场;山河变迁,沧海见陆梁。”      沧海变桑田的转塘,如今又悄然发生了新的变化。      与云计算结缘      杭州是全国...
中小企业信息化战略制定步骤
views 2190
(1)根据企业发展远景与内外部条件,确定合适的信息化目标。中小企业信息化的根本目的是提高企业的经济效益,不仅指当前的经济效益,还包括潜在的经济效益。只有从这点出发,企业才会以自身的经济出发为基础做信息化的效益分析,为实现企业的经济效益而信息化,而不会出现盲目甚至为图虚名而搞信息化这样的怪事。根据企业...

声明: 本文由( 爱说云网 )原创编译,转载请保留链接: 改善 Docker 镜像系统安全性的补救措施

改善 Docker 镜像系统安全性的补救措施:等您坐沙发呢!

发表评论


读者排行