当前位置: 首页 > news >正文

Docker 容器隔离关键技术:SELinux

Docker 容器隔离关键技术:SELinux

SELinux(Security-Enhanced Linux) 是 Linux 内核中的一项安全机制,用于实现强制访问控制(MAC)。Docker 利用了 SELinux 来增强容器的隔离性,通过对文件、进程、资源打标签并设置访问规则,防止容器之间以及容器与宿主机之间的资源越界访问。

在生产环境中,SELinux 是一项重要的隔离技术,但要注意,它并不孤立,还需要与**自主访问控制(DAC)**等机制一起协同工作。


什么是 SELinux?

通俗比喻

假设你是一家公司的管理员(宿主机),公司有许多员工(容器)在不同部门(进程)。这些员工在工作时需要访问资料(文件、资源)。为确保公司安全:

  • 你给每位员工分发了钥匙(传统文件权限 DAC)。
  • 但即使有钥匙,你还规定必须佩戴工牌(SELinux 标签)才能进入特定房间。
  • 某些特别敏感的资料,只允许高级别员工访问(SELinux 规则定义)。

SELinux 就是这套“工牌+规则”系统

  1. 钥匙(DAC)解决了“有权限才能尝试打开房间”。
  2. 工牌(SELinux)规定“即使有钥匙,也要有正确的工牌”。

SELinux 的作用

  1. 强制访问控制(MAC)

    • 即使容器通过了传统的权限检查(DAC,如读写权限),也必须符合 SELinux 的标签规则才能访问资源。
  2. 增强隔离性

    • 每个容器都有独立的标签,限制其只能访问指定资源,防止容器互相干扰或攻击宿主机。
  3. 控制挂载资源访问(Volume 独占挂载)

    • SELinux 会给挂载到容器中的 Volume 目录打上标签,确保容器只能访问自己的挂载点,防止越界访问。
  4. 限制特权容器的访问

    • SELinux 在非特权容器中生效,但对于特权容器(--privileged 模式),SELinux 会被禁用。

SELinux 与 DAC 的结合

什么是 DAC(自主访问控制)?
  • DAC(Discretionary Access Control) 是 Linux 的传统访问控制机制,基于用户、组、和文件权限(如 rw-r--r--)。
  • DAC 决定了哪些用户可以尝试访问资源(如读写文件)。
SELinux 和 DAC 的关系
  • DAC 是第一道检查:当容器访问资源时,DAC 首先检查该操作是否符合文件权限。
  • SELinux 是第二道检查:如果 DAC 允许,SELinux 会进一步检查访问是否符合标签规则。

比喻

  • DAC 是钥匙:允许你尝试打开门。
  • SELinux 是工牌:即使你有钥匙,也必须有正确的工牌才能进入。

SELinux 的工作方式

  1. SELinux 标签(安全上下文)

    • 每个进程、文件、目录都会被打上一个 SELinux 标签,称为安全上下文(Security Context)。
    • 安全上下文包含三个部分:用户、角色、类型。
      system_u:object_r:container_file_t:s0
      
      • system_u:用户,表示系统用户。
      • object_r:角色,表示对象角色。
      • container_file_t:类型,表示该文件属于容器文件类型。
  2. SELinux 策略

    • SELinux 通过策略文件定义哪些进程可以访问哪些资源。例如:
      • container_t 类型的进程只能访问 container_file_t 类型的文件。
      • container_t 类型进程无法访问这些资源。

SELinux 在 Docker 中的应用

1. 启用 SELinux

确保宿主机的 SELinux 功能已启用,可以通过以下命令查看:

getenforce
  • Enforcing:SELinux 正在强制执行规则。
  • Permissive:SELinux 仅记录违规行为,不阻止操作。
  • Disabled:SELinux 已禁用(不推荐)。

编辑 Docker 配置文件(/etc/docker/daemon.json),启用 SELinux 支持:

{"selinux-enabled": true
}

重启 Docker:

systemctl restart docker

2. 挂载资源的独占访问(Volume 独占挂载)

当容器挂载宿主机目录时,SELinux 会为挂载点打上独特标签,确保该目录只能被挂载的容器访问,其他容器无权访问。例如:

docker run -v /host/data:/data:Z -it ubuntu
  • :Z:告诉 Docker 设置 SELinux 标签,确保挂载点的安全。

3. 特权容器的限制

特权容器(Privileged Container) 是 Docker 中一种特殊模式,通过 --privileged 参数启动:

docker run --privileged -it ubuntu

特点

  • 特权容器绕过了所有 SELinux 限制,标签规则不会生效。
  • 容器内的进程可以直接访问宿主机的所有设备和资源。

安全风险

  • 特权容器本质上等同于宿主机的 root 用户,任何漏洞都会危及宿主机安全。
  • 建议仅在测试或特定需求场景中使用特权容器

SELinux 的优点

  1. 细粒度控制

    • 通过标签和策略,严格限制容器的访问范围。
  2. 动态调整

    • 文件和进程标签根据任务动态分配,减少人为配置复杂性。
  3. 多层防护

    • 与 DAC、Capabilities、Seccomp 等机制结合,提供全面保护。

SELinux 的局限性

  1. 复杂性

    • 配置和调试 SELinux 规则需要一定的学习成本。
  2. 性能开销

    • 每次访问都需要检查标签规则,可能会稍微增加 I/O 开销。
  3. 特权容器绕过限制

    • 如果使用 --privileged 启动容器,SELinux 将完全失效。

SELinux 与其他隔离技术的对比

特性SELinuxDACSeccompCapabilities
作用范围文件、进程、网络等资源访问隔离文件权限检查系统调用限制高权限操作限制
强制性强制访问控制(MAC)自主访问控制(用户可修改权限)按系统调用进行白名单或黑名单过滤限制特定权限
适用场景防止容器间或容器与宿主机资源冲突用户级文件操作管理禁止危险的系统调用禁用容器中的高风险操作

最佳实践

  1. 启用 SELinux

    • 确保宿主机的 SELinux 处于 Enforcing 模式,Docker 的 SELinux 支持已开启。
  2. 使用 :Z 标签挂载 Volume

    • 挂载宿主机目录时,确保使用 SELinux 标签限制容器的访问范围。
  3. 避免使用特权容器

    • 特权容器会绕过 SELinux 的所有限制,建议尽量避免使用。
  4. 结合其他机制

    • 将 SELinux 与 DAC、Capabilities、Seccomp 等技术结合,形成多层防护。

总结

SELinux 是 Docker 容器中一项重要的隔离技术,通过标签和规则,它可以:

  • 限制容器对资源的访问。
  • 增强容器之间的隔离性。
  • 防止容器攻破后越界访问宿主机。

但是,SELinux 需要与 DAC 等传统权限机制配合使用,并且对特权容器无效。在生产环境中,合理配置 SELinux 是保障容器安全的关键之一。

相关文章:

Docker 容器隔离关键技术:SELinux

Docker 容器隔离关键技术:SELinux SELinux(Security-Enhanced Linux) 是 Linux 内核中的一项安全机制,用于实现强制访问控制(MAC)。Docker 利用了 SELinux 来增强容器的隔离性,通过对文件、进程…...

Java并发07之ThreadLocal

文章目录 1 ThreadLocal原理2 内部结构3 内存泄露问题4 entry的key为什么被设计为弱引用 1 ThreadLocal原理 ThreadLocal类用来提供线程内部的局部变量。这种变量在多线程环境下访问时能保证各个线程的变量相对独立于其他线程内的变量。ThreadLocal实例通常来说都是private st…...

【单细胞数据库】癌症单细胞数据库CancerSEA

数据库地址:home (hrbmu.edu.cn) Cite Huating Yuan, Min Yan, Guanxiong Zhang, Wei Liu, Chunyu Deng, Gaoming Liao, Liwen Xu, Tao Luo, Haoteng Yan, Zhilin Long, Aiai Shi, Tingting Zhao, Yun Xiao, Xia Li, CancerSEA: a cancer single-cell state atlas…...

Rsa加解密 + 签名验签

Rsa加解密 概述聚合算法名称(用于创建加密器)基本概念填充方式分块加密 基本使用生成密钥加解密创建加密器设置模式(加密)、公钥对明文加密,并对结果进行Base64编码对以上结果,进行解密 设置模式&#xff0…...

bugku-web-留言板1

大小写绕过也不行 <ScRipt>ALeRt(“XSS”);</sCRipT> 双写绕过可以 <scscriptript>alert(z)</scscriptript> 改变大小写 在测试过程中&#xff0c;我们可以改变测试语句的大小写来绕过XSS规则&#xff1a; 比如&#xff1a;<script>alert(“xs…...

进程状态的学习

进程状态就是 task_struct 内的一个整数 状态间是可以进行转化的 运行&#xff1a; 每一个框都是进程的task_struct&#xff0c;都有唯一的pcb和pid来标识它的唯一性 让CPU选择一个进程去运行&#xff0c;本质是选择一个进程的PCB去运行&#xff0c;task_struct里一定有内存指…...

Vue 2.0->3.0学习笔记(Vue 3 (四)- Composition API 的优势)

Vue 2.0-&#xff1e;3.0学习笔记&#xff08;Vue 3 &#xff08;四&#xff09;- Composition API 的优势&#xff09; Composition API 的优势1. Options API 存在的问题2. Composition API 的优势 Composition API 的优势 1. Options API 存在的问题 笔记 使用传统OptionsA…...

close and shutdown?

背景&#xff1a;我们要讲述的是网络编程中常用的两个API&#xff1a; #include <unistd.h> int close(int fd); #include <sys/socket.h> int shutdown(int sockfd, int how); 以及TCP的半连接&#xff0c;半打开。 shutdown函数的行为依赖第二个参数区分&#xf…...

PostgreSQL + hasura + Apollo + GraphQL + React + Antd

技术栈 PostgreSQL hasura Apollo GraphQL React Antd 适用于复杂的查询,快速开发 环境安装 安装PostgreSQL hasura,使用docker安装 使用 Docker Compose 部署时&#xff0c;它会同时启动两个容器PostgreSQL和 Hasura GraphQL ,如下 version: "3.6" serv…...

Android笔记【10】

一、前言 学习课程时&#xff0c;对于自己不懂的点的记录。 二、内容 学习一段代码&#xff1a; val drawerState rememberDrawerState(DrawerValue.Closed)val scope rememberCoroutineScope()Scaffold (topBar{TopAppBar(navigationIcon {IconButton(onClick {scope.lau…...

Leetcode打卡:N皇后

执行结果&#xff1a;通过 题目&#xff1a;51 N皇后 按照国际象棋的规则&#xff0c;皇后可以攻击与之处在同一行或同一列或同一斜线上的棋子。 n 皇后问题 研究的是如何将 n 个皇后放置在 nn 的棋盘上&#xff0c;并且使皇后彼此之间不能相互攻击。 给你一个整数 n &#…...

Linux内核4.14版本——ccf时钟子系统(3)——ccf一些核心结构体

目录 1. struct clk_hw 2. struct clk_ops 3. struct clk_core 4. struct clk_notifier 5. struct clk 6. struct clk_gate 7. struct clk_divider 8. struct clk_mux 9. struct clk_fixed_factor 10. struct clk_fractional_divider 11. struct clk_multiplier 12…...

[Deep Learning] 深度学习中常用函数的整理与介绍(pytorch为例)

文章目录 深度学习中常用函数的整理与介绍常见损失函数1. L2_loss | nn.MSELoss()公式表示&#xff1a;特点&#xff1a;应用&#xff1a;缺点&#xff1a;主要参数&#xff1a;示例用法&#xff1a;注意事项&#xff1a; 2. L1 Loss | nn.L1Loss数学定义&#xff1a;特点&…...

【ETCD】etcd简单入门之单节点部署etcd

etcd 是一个分布式可靠的键值存储系统&#xff0c;用于分布式系统中最关键的数据&#xff0c;主要特点包括&#xff1a; 简单&#xff1a;具有明确的、面向用户的 API&#xff08;gRPC&#xff09; 安全&#xff1a;自动 TLS 支持&#xff0c;并可选的客户端证书认证 快速&am…...

Cadence基础语法

03-Cadence基础语法 0 Cadence基础语法入门&#xff1a;流程编排语言的新星 Cadence是由Uber开发的一种领域特定语言&#xff08;Domain-Specific Language&#xff0c;DSL&#xff09;&#xff0c;专门用于编写可扩展的长时间运行的业务流程。它是Temporal工作流引擎的核心组…...

GAMES101虚拟机使用教程与探讨

写在前面 环境配置请参考作业0的pdf&#xff0c;本文章主要对于配置好环境后怎么使用以及遇到的问题进行探讨&#xff08;要是有更方便的使用方式欢迎在评论区讨论&#xff09;&#xff0c;自己刚开始用的时候也折腾了好久&#xff0c;希望能为后来学习的小伙伴节约一点工具使…...

王道考研编程题总结

我还在完善中&#xff0c;边复习边完善&#xff08;这个只是根据我自身总结的&#xff09; 一、 线性表 1. 结构体 #define MaxSize 40 typedef struct{ElemType data[MaxSize]&#xff1b;int length; }SqList 2. 编程题 1. 删除最小值 题意 &#xff1a;从顺序表中删除…...

算法2--滑动窗口

滑动窗口 滑动窗口经典例题长度最小的子数组无重复字符的最长子串[最大连续1的个数 III](https://leetcode.cn/problems/max-consecutive-ones-iii/description/)[将 x 减到 0 的最小操作数](https://leetcode.cn/problems/minimum-operations-to-reduce-x-to-zero/description…...

pycharm或conda中配置镜像源

文章目录 1. 为什么要配置镜像源2. pycharm配置2.1使用pip配置国内镜像源2.2 Pycharm中更改镜像源 3.conda配置镜像源3.1 使用conda命令3.2 文件所在位置&#xff08;进行增删&#xff09;3.3 conda常用的几个命令 参考文献 1. 为什么要配置镜像源 由于Python在下载包时&#…...

C#基础之方法

文章目录 1 方法1.1 定义方法1.2 参数传递1.2.1 按值传递参数1.2.2 按引用传递参数1.2.3 按输出传递参数1.2.4 可变参数 params1.2.5 具名参数1.2.6 可选参数 1.3 匿名方法1.3.1 Lambda 表达式1.3.1.1 定义1.3.1.2 常用类型1.3.1.3 Lambda 表达式与 LINQ1.3.1.4 Lambda 表达式的…...

web vue 项目 Docker化部署

Web 项目 Docker 化部署详细教程 目录 Web 项目 Docker 化部署概述Dockerfile 详解 构建阶段生产阶段 构建和运行 Docker 镜像 1. Web 项目 Docker 化部署概述 Docker 化部署的主要步骤分为以下几个阶段&#xff1a; 构建阶段&#xff08;Build Stage&#xff09;&#xff1a…...

《Qt C++ 与 OpenCV:解锁视频播放程序设计的奥秘》

引言:探索视频播放程序设计之旅 在当今数字化时代,多媒体应用已渗透到我们生活的方方面面,从日常的视频娱乐到专业的视频监控、视频会议系统,视频播放程序作为多媒体应用的核心组成部分,扮演着至关重要的角色。无论是在个人电脑、移动设备还是智能电视等平台上,用户都期望…...

CMake基础:构建流程详解

目录 1.CMake构建过程的基本流程 2.CMake构建的具体步骤 2.1.创建构建目录 2.2.使用 CMake 生成构建文件 2.3.编译和构建 2.4.清理构建文件 2.5.重新配置和构建 3.跨平台构建示例 4.工具链与交叉编译 5.CMake构建后的项目结构解析 5.1.CMake构建后的目录结构 5.2.构…...

均衡后的SNRSINR

本文主要摘自参考文献中的前两篇&#xff0c;相关文献中经常会出现MIMO检测后的SINR不过一直没有找到相关数学推到过程&#xff0c;其中文献[1]中给出了相关原理在此仅做记录。 1. 系统模型 复信道模型 n t n_t nt​ 根发送天线&#xff0c; n r n_r nr​ 根接收天线的 MIMO 系…...

HashMap中的put方法执行流程(流程图)

1 put操作整体流程 HashMap 的 put 操作是其最核心的功能之一。在 JDK 1.8 及以后版本中&#xff0c;其主要逻辑封装在 putVal 这个内部方法中。整个过程大致如下&#xff1a; 初始判断与哈希计算&#xff1a; 首先&#xff0c;putVal 方法会检查当前的 table&#xff08;也就…...

HarmonyOS运动开发:如何用mpchart绘制运动配速图表

##鸿蒙核心技术##运动开发##Sensor Service Kit&#xff08;传感器服务&#xff09;# 前言 在运动类应用中&#xff0c;运动数据的可视化是提升用户体验的重要环节。通过直观的图表展示运动过程中的关键数据&#xff0c;如配速、距离、卡路里消耗等&#xff0c;用户可以更清晰…...

安宝特案例丨Vuzix AR智能眼镜集成专业软件,助力卢森堡医院药房转型,赢得辉瑞创新奖

在Vuzix M400 AR智能眼镜的助力下&#xff0c;卢森堡罗伯特舒曼医院&#xff08;the Robert Schuman Hospitals, HRS&#xff09;凭借在无菌制剂生产流程中引入增强现实技术&#xff08;AR&#xff09;创新项目&#xff0c;荣获了2024年6月7日由卢森堡医院药剂师协会&#xff0…...

Java毕业设计:WML信息查询与后端信息发布系统开发

JAVAWML信息查询与后端信息发布系统实现 一、系统概述 本系统基于Java和WML(无线标记语言)技术开发&#xff0c;实现了移动设备上的信息查询与后端信息发布功能。系统采用B/S架构&#xff0c;服务器端使用Java Servlet处理请求&#xff0c;数据库采用MySQL存储信息&#xff0…...

【Linux】自动化构建-Make/Makefile

前言 上文我们讲到了Linux中的编译器gcc/g 【Linux】编译器gcc/g及其库的详细介绍-CSDN博客 本来我们将一个对于编译来说很重要的工具&#xff1a;make/makfile 1.背景 在一个工程中源文件不计其数&#xff0c;其按类型、功能、模块分别放在若干个目录中&#xff0c;mak…...

【LeetCode】算法详解#6 ---除自身以外数组的乘积

1.题目介绍 给定一个整数数组 nums&#xff0c;返回 数组 answer &#xff0c;其中 answer[i] 等于 nums 中除 nums[i] 之外其余各元素的乘积 。 题目数据 保证 数组 nums之中任意元素的全部前缀元素和后缀的乘积都在 32 位 整数范围内。 请 不要使用除法&#xff0c;且在 O…...