UDS Core 项目中的Pepr策略详解
概述
在Kubernetes环境中,安全策略是保障集群安全运行的关键要素。UDS Core项目通过Pepr策略提供了一套全面的安全控制机制,这些策略主要针对Pod、Service等Kubernetes资源进行安全限制和配置规范。
策略分类
UDS Core中的Pepr策略主要分为两大类:变异策略(Mutations)和验证策略(Validations)。
变异策略
变异策略会自动修改资源定义,确保它们符合安全规范:
-
禁止权限提升(Disallow Privilege Escalation)
- 作用对象:容器
- 功能:自动将
allowPrivilegeEscalation设为false,除非容器是特权容器或添加了CAP_SYS_ADMIN能力
-
要求非root用户(Require Non-root User)
- 作用对象:Pod
- 功能:自动设置
runAsNonRoot: true,默认用户和组ID为1000 - 自定义:可通过
uds/user、uds/group、uds/fsgroup标签指定用户/组ID
-
丢弃所有能力(Drop All Capabilities)
- 作用对象:容器
- 功能:自动设置
capabilities.drop: ["ALL"],确保所有能力被丢弃
验证策略
验证策略会检查资源定义是否符合规范,不符合则拒绝创建/更新:
网络安全类
-
禁止主机命名空间(Disallow Host Namespaces)
- 严重性:高
- 确保Pod不使用主机PID、IPC或网络命名空间
-
禁止NodePort服务(Disallow NodePort Services)
- 严重性:中
- 禁止创建NodePort类型的Service
-
限制外部名称(Restrict External Names)
- 严重性:中
- 防止CVE-2020-8554漏洞,限制Service使用外部名称
-
限制主机端口(Restrict Host Ports)
- 严重性:高
- 只允许使用预先批准的主机端口
安全配置类
-
禁止特权(Disallow Privileged)
- 严重性:高
- 禁止特权容器和权限提升
-
限制能力(Restrict Capabilities)
- 严重性:高
- 只允许添加特定能力,禁止随意添加
-
限制SELinux选项(Disallow SELinux Options)
- 严重性:高
- 禁止使用SELinux选项
-
限制proc挂载(Restrict Proc Mount)
- 严重性:高
- 只允许默认的proc挂载方式
-
限制Seccomp(Restrict Seccomp)
- 严重性:高
- 只允许使用RuntimeDefault或Localhost seccomp配置文件
存储类
-
限制卷类型(Restrict Volume Types)
- 严重性:中
- 限制可用的卷类型,特别是限制hostPath
-
限制hostPath可写路径(Restrict hostPath Volume Writable Paths)
- 严重性:中
- 确保hostPath卷以只读方式挂载
豁免机制
UDS Core提供了灵活的豁免机制:
- 通过UDS Exemption CR可以豁免特定资源
- 被豁免的资源会被标记为
uds-core.pepr.dev/uds-core-policies.<POLICY>: exempted - 变异策略和验证策略使用相同的豁免引用
最佳实践建议
- 最小权限原则:尽可能使用非root用户运行容器,默认策略已自动实现这一点
- 能力控制:使用"Drop All Capabilities"策略,只添加必要的能力
- 网络隔离:避免使用主机网络命名空间和NodePort服务
- 存储安全:限制volume类型,特别是hostPath的使用
- 安全配置:利用Seccomp和SELinux限制增强安全性
未实现策略说明
当前版本中,以下策略尚未实现但值得关注:
- 限制sysctls配置
- 限制镜像仓库
- 限制hostPath PV路径
- 要求镜像签名
- 禁止自动挂载ServiceAccount令牌
这些策略将在未来版本中逐步实现,以提供更全面的安全保护。
总结
UDS Core的Pepr策略提供了一套全面的Kubernetes安全控制机制,通过自动变异和严格验证相结合的方式,确保集群工作负载遵循安全最佳实践。这些策略基于行业标准设计,能够有效降低容器逃逸、权限提升等安全风险,是构建安全Kubernetes环境的重要保障。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C051
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0127
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00