Docker 容器隔离关键技术:SELinux
Docker 容器隔离关键技术:SELinux
SELinux(Security-Enhanced Linux) 是 Linux 内核中的一项安全机制,用于实现强制访问控制(MAC)。Docker 利用了 SELinux 来增强容器的隔离性,通过对文件、进程、资源打标签并设置访问规则,防止容器之间以及容器与宿主机之间的资源越界访问。
在生产环境中,SELinux 是一项重要的隔离技术,但要注意,它并不孤立,还需要与**自主访问控制(DAC)**等机制一起协同工作。
什么是 SELinux?
通俗比喻
假设你是一家公司的管理员(宿主机),公司有许多员工(容器)在不同部门(进程)。这些员工在工作时需要访问资料(文件、资源)。为确保公司安全:
- 你给每位员工分发了钥匙(传统文件权限 DAC)。
- 但即使有钥匙,你还规定必须佩戴工牌(SELinux 标签)才能进入特定房间。
- 某些特别敏感的资料,只允许高级别员工访问(SELinux 规则定义)。
SELinux 就是这套“工牌+规则”系统:
- 钥匙(DAC)解决了“有权限才能尝试打开房间”。
- 工牌(SELinux)规定“即使有钥匙,也要有正确的工牌”。
SELinux 的作用
-
强制访问控制(MAC):
- 即使容器通过了传统的权限检查(DAC,如读写权限),也必须符合 SELinux 的标签规则才能访问资源。
-
增强隔离性:
- 每个容器都有独立的标签,限制其只能访问指定资源,防止容器互相干扰或攻击宿主机。
-
控制挂载资源访问(Volume 独占挂载):
- SELinux 会给挂载到容器中的 Volume 目录打上标签,确保容器只能访问自己的挂载点,防止越界访问。
-
限制特权容器的访问:
- SELinux 在非特权容器中生效,但对于特权容器(
--privileged模式),SELinux 会被禁用。
- SELinux 在非特权容器中生效,但对于特权容器(
SELinux 与 DAC 的结合
什么是 DAC(自主访问控制)?
- DAC(Discretionary Access Control) 是 Linux 的传统访问控制机制,基于用户、组、和文件权限(如
rw-r--r--)。 - DAC 决定了哪些用户可以尝试访问资源(如读写文件)。
SELinux 和 DAC 的关系
- DAC 是第一道检查:当容器访问资源时,DAC 首先检查该操作是否符合文件权限。
- SELinux 是第二道检查:如果 DAC 允许,SELinux 会进一步检查访问是否符合标签规则。
比喻:
- DAC 是钥匙:允许你尝试打开门。
- SELinux 是工牌:即使你有钥匙,也必须有正确的工牌才能进入。
SELinux 的工作方式
-
SELinux 标签(安全上下文)
- 每个进程、文件、目录都会被打上一个 SELinux 标签,称为安全上下文(Security Context)。
- 安全上下文包含三个部分:用户、角色、类型。
system_u:object_r:container_file_t:s0system_u:用户,表示系统用户。object_r:角色,表示对象角色。container_file_t:类型,表示该文件属于容器文件类型。
-
SELinux 策略
- SELinux 通过策略文件定义哪些进程可以访问哪些资源。例如:
container_t类型的进程只能访问container_file_t类型的文件。- 非
container_t类型进程无法访问这些资源。
- SELinux 通过策略文件定义哪些进程可以访问哪些资源。例如:
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 的优点
-
细粒度控制:
- 通过标签和策略,严格限制容器的访问范围。
-
动态调整:
- 文件和进程标签根据任务动态分配,减少人为配置复杂性。
-
多层防护:
- 与 DAC、Capabilities、Seccomp 等机制结合,提供全面保护。
SELinux 的局限性
-
复杂性:
- 配置和调试 SELinux 规则需要一定的学习成本。
-
性能开销:
- 每次访问都需要检查标签规则,可能会稍微增加 I/O 开销。
-
特权容器绕过限制:
- 如果使用
--privileged启动容器,SELinux 将完全失效。
- 如果使用
SELinux 与其他隔离技术的对比
| 特性 | SELinux | DAC | Seccomp | Capabilities |
|---|---|---|---|---|
| 作用范围 | 文件、进程、网络等资源访问隔离 | 文件权限检查 | 系统调用限制 | 高权限操作限制 |
| 强制性 | 强制访问控制(MAC) | 自主访问控制(用户可修改权限) | 按系统调用进行白名单或黑名单过滤 | 限制特定权限 |
| 适用场景 | 防止容器间或容器与宿主机资源冲突 | 用户级文件操作管理 | 禁止危险的系统调用 | 禁用容器中的高风险操作 |
最佳实践
-
启用 SELinux:
- 确保宿主机的 SELinux 处于
Enforcing模式,Docker 的 SELinux 支持已开启。
- 确保宿主机的 SELinux 处于
-
使用
:Z标签挂载 Volume:- 挂载宿主机目录时,确保使用 SELinux 标签限制容器的访问范围。
-
避免使用特权容器:
- 特权容器会绕过 SELinux 的所有限制,建议尽量避免使用。
-
结合其他机制:
- 将 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编码对以上结果,进行解密 设置模式࿰…...
bugku-web-留言板1
大小写绕过也不行 <ScRipt>ALeRt(“XSS”);</sCRipT> 双写绕过可以 <scscriptript>alert(z)</scscriptript> 改变大小写 在测试过程中,我们可以改变测试语句的大小写来绕过XSS规则: 比如:<script>alert(“xs…...
进程状态的学习
进程状态就是 task_struct 内的一个整数 状态间是可以进行转化的 运行: 每一个框都是进程的task_struct,都有唯一的pcb和pid来标识它的唯一性 让CPU选择一个进程去运行,本质是选择一个进程的PCB去运行,task_struct里一定有内存指…...
Vue 2.0->3.0学习笔记(Vue 3 (四)- Composition API 的优势)
Vue 2.0->3.0学习笔记(Vue 3 (四)- Composition API 的优势) Composition API 的优势1. Options API 存在的问题2. Composition API 的优势 Composition API 的优势 1. Options API 存在的问题 笔记 使用传统OptionsA…...
close and shutdown?
背景:我们要讲述的是网络编程中常用的两个API: #include <unistd.h> int close(int fd); #include <sys/socket.h> int shutdown(int sockfd, int how); 以及TCP的半连接,半打开。 shutdown函数的行为依赖第二个参数区分…...
PostgreSQL + hasura + Apollo + GraphQL + React + Antd
技术栈 PostgreSQL hasura Apollo GraphQL React Antd 适用于复杂的查询,快速开发 环境安装 安装PostgreSQL hasura,使用docker安装 使用 Docker Compose 部署时,它会同时启动两个容器PostgreSQL和 Hasura GraphQL ,如下 version: "3.6" serv…...
Android笔记【10】
一、前言 学习课程时,对于自己不懂的点的记录。 二、内容 学习一段代码: val drawerState rememberDrawerState(DrawerValue.Closed)val scope rememberCoroutineScope()Scaffold (topBar{TopAppBar(navigationIcon {IconButton(onClick {scope.lau…...
Leetcode打卡:N皇后
执行结果:通过 题目:51 N皇后 按照国际象棋的规则,皇后可以攻击与之处在同一行或同一列或同一斜线上的棋子。 n 皇后问题 研究的是如何将 n 个皇后放置在 nn 的棋盘上,并且使皇后彼此之间不能相互攻击。 给你一个整数 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()公式表示:特点:应用:缺点:主要参数:示例用法:注意事项: 2. L1 Loss | nn.L1Loss数学定义:特点&…...
【ETCD】etcd简单入门之单节点部署etcd
etcd 是一个分布式可靠的键值存储系统,用于分布式系统中最关键的数据,主要特点包括: 简单:具有明确的、面向用户的 API(gRPC) 安全:自动 TLS 支持,并可选的客户端证书认证 快速&am…...
Cadence基础语法
03-Cadence基础语法 0 Cadence基础语法入门:流程编排语言的新星 Cadence是由Uber开发的一种领域特定语言(Domain-Specific Language,DSL),专门用于编写可扩展的长时间运行的业务流程。它是Temporal工作流引擎的核心组…...
GAMES101虚拟机使用教程与探讨
写在前面 环境配置请参考作业0的pdf,本文章主要对于配置好环境后怎么使用以及遇到的问题进行探讨(要是有更方便的使用方式欢迎在评论区讨论),自己刚开始用的时候也折腾了好久,希望能为后来学习的小伙伴节约一点工具使…...
王道考研编程题总结
我还在完善中,边复习边完善(这个只是根据我自身总结的) 一、 线性表 1. 结构体 #define MaxSize 40 typedef struct{ElemType data[MaxSize];int length; }SqList 2. 编程题 1. 删除最小值 题意 :从顺序表中删除…...
算法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 文件所在位置(进行增删)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 表达式的…...
Python蒙特卡洛树搜索实战:手把手教你调参,让黑白棋AI从‘菜鸟’变‘高手’
Python蒙特卡洛树搜索实战:从调参到策略优化的完整指南 蒙特卡洛树搜索(MCTS)作为近年来最成功的游戏AI算法之一,已经在围棋、黑白棋等策略游戏中展现出惊人的实力。但很多开发者在实现基础版本后,常常陷入性能瓶颈——…...
Windows安装安卓APK的完整指南:APK Installer免费工具使用教程
Windows安装安卓APK的完整指南:APK Installer免费工具使用教程 【免费下载链接】APK-Installer An Android Application Installer for Windows 项目地址: https://gitcode.com/GitHub_Trending/ap/APK-Installer 还在为电脑无法运行安卓应用而烦恼吗&#x…...
从ARIMA差分到MIM网络:一个老派时间序列技巧如何革新了深度学习预测
从差分思想到记忆网络:传统时间序列技巧如何重塑深度学习架构 在气象预报的雷达回波图中,降水云团的形态每秒钟都在剧烈变化;城市交通流量监测数据里,早晚高峰的波动与平峰期形成鲜明对比;股票市场的价格曲线更是以难以…...
Anthropic新模型Mythos号称擅查漏洞,扫描curl代码却仅确认1个低危问题
Mythos高调亮相,扫描结果却令人意外 近期,Anthropic推出的AI安全分析模型Mythos引发广泛关注,该公司宣称其在发现源代码安全漏洞方面表现出色,甚至因此暂缓公开发布。然而,当Mythos扫描全球最广泛使用的开源命令行HTTP…...
Cartographer闭环优化里的‘分支定界’:一个机器人SLAM工程师的实战笔记与避坑心得
Cartographer闭环优化中的分支定界算法:工程实践与性能调优指南 在SLAM(即时定位与地图构建)领域,闭环检测的准确性直接决定了系统长期运行的稳定性。作为Cartographer算法的核心组件之一,分支定界(Branch …...
鸿蒙系统安装
一、下载 DevEco Studio 打开华为开发者官网,找到 DevEco Studio 6.1.0 Release 下载页面。 DevEco Studio for Windows 6.1.0.830(2.8GB) 下载。 Mac 用户可以选择对应版本(x86/ARM)。 等待下载完成,得到 .exe 安装文件。二、安装…...
5分钟极速指南:免费将Word文档完美转换为LaTeX的终极工具docx2tex
5分钟极速指南:免费将Word文档完美转换为LaTeX的终极工具docx2tex 【免费下载链接】docx2tex Converts Microsoft Word docx to LaTeX 项目地址: https://gitcode.com/gh_mirrors/do/docx2tex 还在为Word文档转换LaTeX格式而烦恼吗?每次手动调整公…...
谷歌seo如何发布外链? 推荐3个外贸SOHO全自动工具
身处外贸圈的人都明白,空有一身好产品,网站在谷歌搜不到也是白搭。现在的算法比五年前聪明太多,靠那种五块钱一千条的群发软件纯属给自己的域名“投毒”。我在操作几十个独立站的过程中发现,外链的数量早就不吃香了,现…...
期末课程论文不用卷!虎贲等考 AI:真文献 + 规范稿,轻松高效拿高分
一到期末、结课、学分冲刺阶段,课程论文就成了大学生最集中的压力点。选题不会定、框架搭不起来、文献找不到、内容写得太空、格式一塌糊涂、查重还容易超标…… 随便一项都能让原本简单的作业变得耗时又费力。 很多同学用通用 AI 凑字数,结果文献假、逻…...
数据中心机架内互连新范式:为何PCIe正取代以太网与InfiniBand?
1. 数据中心互连的十字路口:为什么是PCIe?在数据中心这个庞大而精密的数字世界里,服务器、存储和网络设备之间的“对话”效率,直接决定了整个系统的性能上限。过去十几年,我们习惯了用以太网(Ethernet&…...
