1.. SPDX-License-Identifier: GPL-2.0 2.. include:: ../disclaimer-zh_CN.rst 3 4:Original: Documentation/security/sak.rst 5 6:翻译: 7 赵硕 Shuo Zhao <zhaoshuo@cqsoftware.com.cn> 8 9完整性策略执行（IPE）-内核文档 10============================== 11 12.. NOTE:: 13 14 这是针对开发人员而不是管理员的文档。如果您正在 15 寻找有关IPE使用的文档，请参阅 :doc:`IPE admin 16 guide </admin-guide/LSM/ipe>`。 17 18历史背景 19-------- 20 21最初促使IPE实施的原因，是需要创建一个锁定式系统。该系统将 22从一开始就具备安全性，并且在可执行代码和系统功能关键的特定 23数据文件上，提供强有力的完整性保障。只有当这些特定数据文件 24符合完整性策略时，它们才可以被读取。系统中还将存在强制访问 25控制机制，因此扩展属性（xattrs）也必须受到保护。这就引出了 26需要选择能够提供完整性保证的机制。当时，有两种主要机制被考 27虑，用以在满足这些要求的前提下保证系统完整性： 28 29 1. IMA + EVM Signatures 30 2. DM-Verity 31 32这两个选项都经过了仔细考虑，然而在原始的IPE使用场景 33中，最终选择DM-Verity而非IMA+EVM作为完整性机制，主 34要有三个原因： 35 36 1. 防护额外的攻击途径 37 38 * 使用IMA+EVM时，如果没有加密解决方案，系统很容易受到 39 离线攻击，特别是针对上述特定数据文件的攻击。 40 41 与可执行文件不同，读取操作（如对受保护数据文件的读 42 取操作）无法强制性进行全局完整性验证。这意味着必须 43 有一种选择机制来决定是否应对某个读取操作实施完整性 44 策略。 45 46 在当时，这是通过强制访问控制标签来实现的，IMA策略会 47 指定哪些标签需要进行完整性验证，这带来了一个问题： 48 EVM虽然可以保护标签，但如果攻击者离线修改文件系统， 49 那么攻击者就可以清除所有的扩展属性（xattrs）——包括 50 用于确定文件是否应受完整性策略约束的SELinux标签。 51 52 使用DM-Verity，由于xattrs被保存为Merkel树的一部分， 53 如果对由dm-verity保护的文件系统进行了离线挂载，校验 54 和将不在匹配，文件将无法读取。 55 56 * 由于用户空间的二进制文件在Linux中是分页加载的，dm- 57 verity同样提供了对抗恶意块设备的额外保护。在这样的 58 攻击中，块设备最初报告适当的内容以供IMA哈希计算，通 59 过所需的完整性检查。然后，在访问真实数据时发生的页面 60 错误将报告攻击者的有效载荷。由于dm-verity会在页面错 61 误发生时检查数据（以及磁盘访问），因此这种攻击得到了 62 缓解。 63 64 2. 性能: 65 66 * dm-verity在块被读取时按需提供完整性验证，而不需要将整 67 个文件读入内存进行验证。 68 69 3. 签名的简化性: 70 71 * 不需要两个签名（IMA 然后是 EVM）：一个签名可以覆盖整个 72 块设备。 73 * 签名可以存储在文件系统元数据之外。 74 * 该签名支持基于 x.509 的签名基础设施。 75 76下一步是选择一个策略来执行完整性验证机制，该策略的最低 77要求是： 78 79 1. 策略本身必须经过完整性验证（防止针对它的简单攻击）。 80 2. 策略本身必须抵抗回滚攻击。 81 3. 策略执行必须具有类似宽松模式的功能。 82 4. 策略必须能够在不重启的情况下，完整地进行更新。 83 5. 策略更新必须是原子性的。 84 6. 策略必须支持撤销先前创建的组件。 85 7. 策略必须在任何时间点都能进行审计。 86 87当时，IMA作为唯一的完整性策略机制，被用来与这些要求进行对比， 88但未能满足所有最低要求。尽管考虑过扩展IMA以涵盖这些要求，但 89最终因两个原因被放弃： 90 91 1. 回归风险；这其中许多变更将导致对已经存在于内核的IMA进行 92 重大代码更改，因此可能会影响用户。 93 94 2. IMA在该系统中用于测量和证明；将测量策略与本地完整性策略 95 的执行分离被认为是有利的。 96 97由于这些原因，决定创建一个新的LSM，其职责是仅限于本地完整性 98策略的执行。 99 100职责和范围 101---------- 102 103IPE顾名思义，本质上是一种完整性策略执行解决方案；IPE并不强制规定 104如何提供完整性保障，而是将这一决策权留给系统管理员，管理员根据自身 105需求，选择符合的机制来设定安全标准。存在几种不同的完整性解决方案， 106它们提供了不同程度的安全保障；而IPE允许系统管理员理论上为所有这些 107解决方案制定策略。 108 109IPE自身没有内置确保完整性的固有机制。相反，在构建具备完整性保障能力 110的系统时，存在更高效的分层方案可供使用。需要重点注意的是，用于证明完 111整性的机制，与用于执行完整性声明的策略是相互独立的。 112 113因此，IPE依据以下方面进行设计： 114 115 1. 便于与完整性提供机制集成。 116 2. 便于平台管理员/系统管理员使用。 117 118设计理由: 119--------- 120 121IPE是在评估其他操作系统和环境中的现有完整性策略解决方案后设计的。 122在对其他实现的调查中，发现了一些缺陷： 123 124 1. 策略不易为人们读取，通常需要二进制中间格式。 125 2. 默认情况下会隐式采取单一的、不可定制的操作。 126 3. 调试策略需要手动来确定违反了哪个规则。 127 4. 编写策略需要对更大系统或操作系统有深入的了解。 128 129IPE尝试避免所有这些缺陷。 130 131策略 132~~~~ 133 134纯文本 135^^^^^^ 136 137IPE的策略是纯文本格式的。相较于其他Linux安全模块（LSM）， 138策略文件体积略大，但能解决其他平台上部分完整性策略方案存在 139的两个核心问题。 140 141第一个问题是代码维护和冗余的问题。为了编写策略，策略必须是 142以某种形式的字符串形式呈现（无论是 XML、JSON、YAML 等结构化 143格式，还是其他形式），以便策略编写者能够理解所写内容。在假设 144的二进制策略设计中，需要一个序列化器将策略将可读的形式转换为 145二进制形式，同时还需要一个反序列化器来将二进制形式转换为内核 146中的数据结构。 147 148最终，还需要另一个反序列化器将是必要的，用于将二进制形式转换 149为人类可读的形式，并尽可能保存所有信息，这是因为使用此访问控 150制系统的用户必须维护一个校验表和原始文件，才能理解哪些策略已 151经部署在该系统上，哪些没有。对于单个用户来说，这可能没问题， 152因为旧的策略可以在更新生效后很快被丢弃。但对于管理成千上万、 153甚至数十万台计算机的用户，且这些计算机有不同的操作系统和不同 154的操作需求，这很快就成了一个问题，因为数年前的过时策略可能仍然 155存在，从而导致需要快速恢复策略或投资大量基础设施来跟踪每个策略 156的内容。 157 158有了这三个独立的序列化器/反序列化器，维护成本非常昂贵。如果策略 159避免使用二进制格式，则只需要一个序列化器；将人类可读的形式转换 160为内核中的数据结构。从而节省了代码维护成本，并保持了可操作性。 161 162第二个关于二进制格式的问题是透明性，由于IPE根据系统资源的可信度 163来控制访问，因此其策略也必须可信，以便可以被更改。这是通过签名来 164完成的，这就需要签名过程。签名过程通常具有很高的安全标准，因为 165任何被签名的内容都可以被用来攻击完整性执行系统。签署时，签署者 166必须知道他们在签署什么，二进制策略可能会导致这一点的模糊化；签署 167者看到的只是一个不透明的二进制数据块。另一方面，对于纯文本策略中， 168签署者看到的则是实际提交的策略。 169 170启动策略 171~~~~~~~~ 172 173如果配置得当，IPE能够在内核启动并进入用户模式时立即执行策略。 174这意味着需要在用户模式开始的那一刻就存储一定的策略。通常，这种 175存储可以通过一下三种方式之一来处理： 176 177 1. 策略文件存储在磁盘上，内核在进入可能需要做出执行决策的代码 178 路径之前，先加载该策略。 179 2. 策略文件由引导加载程序传递给内核，内核解析这些策略。 180 3. 将一个策略文件编译到内核中，内核在初始化过程中对其进行解析并 181 执行。 182 183第一种方式存在问题：内核从用户空间读取文件通常是不推荐的，并且在 184内核中极为罕见。 185 186第二种选项同样存在问题：Linux在其整个生态系统中支持多种引导加载程序， 187所有引导加载程序都必须支持这种新方法，或者需要有一个独立的来源，这 188可能会导致内核启动过程发生不必要的重大变化。 189 190第三种选项是最佳选择，但需要注意的是，编译进内核的策略会占用磁盘空间。 191重要的是要使这一策略足够通用，以便用户空间能够加载新的、更复杂的策略， 192同时也要足够严格，以防止过度授权并避免引发安全问题。 193 194initramfs提供了一种建立此启动路径的方法。内核启动时以最小化的策略启动， 195该策略仅信任initramfs。在initramfs内，当真实的根文件系统已挂载且尚未 196切换时，它会部署并激活一个信任新根文件系统的策略。这种方法防止了在任何 197步骤中出现过度授权，并保持内核策略的最小化。 198 199启动 200^^^^ 201 202然而，并不是每个系统都以initramfs启动，因此编译进内核的启动策略需要具备 203一定的灵活性，以明确如何为启动的下一个阶段建立信任。为此，如果我们将编译 204进内核的策略设计为一个完整的IPE策略，这样系统构建者便能合理定义第一阶段启 205动的需求。 206 207可更新、无需重启的策略 208~~~~~~~~~~~~~~~~~~~~~~ 209 210随着时间的推移，系统需求发生变化（例如，之前信任的应用程序中发现漏洞、秘钥 211轮换等）。更新内核以满足这些安全目标并非始终是一个合适的选择，因为内核更新并 212非完全无风险的，而搁置安全更新会使系统处于脆弱状态。这意味着IPE需要一个可以 213完全更新的策略（允许撤销现有的策略），并且这个更新来源必须是内核外部的（允许 214再不更新内核的情况下更新策略）。 215 216此外，由于内核在调用之间是无状态的，并且从内核空间读取磁盘上的策略文件不是一 217个好主意，因此策略更新必须能够在不重启的情况下完成。 218 219为了允许从外部来源进行更新，考虑到外部来源可能是恶意的，因此该策略需要具备可被 220识别为可信的机制。这一机制通过签名链实现：策略的签名需与内核中的某个信任源相 221关联。通常，这个信任源是 ``SYSTEM_TRUSTED_KEYRING`` ，这是一个在内核编译时就被 222初始化填充的密钥环，因为这符合上述编译进来策略的制作者与能够部署策略更新的实体 223相同的预期。 224 225防回滚 / 防重放 226~~~~~~~~~~~~~~~ 227 228随着时间的推移，系统可能会发现漏洞，曾经受信任的资源可能不再可信，IPE的 229策略也不例外。可能会出现的情况是，策略制作者误部署了一个不安全的策略， 230随后再用一个安全的策略进行修正。 231 232假设一旦不安全的策略被部署，攻击者获取了这个不安全的策略，IPE需要有一种 233方式来防止从安全的策略更新回滚到不安全的策略。 234 235最初，IPE的策略可以包含一个policy_version字段，声明系统上所有可激活策略 236所需的最低版本号。这将在系统运行期间防止回滚。 237 238.. WARNING:: 239 240 然而，由于内核每次启动都是无状态的，因此该策略版本将在下次 241 启动时被重置为0.0.0。系统构建者需要意识到这一点，并确保在启 242 动后尽快部署新的安全策略，以确保攻击者部署不安全的策略的几 243 率最小化。 244 245隐式操作: 246~~~~~~~~~ 247 248隐式操作的问题只有在考虑系统中多个操作具有不同级别时才会显现出来。 249例如，考虑一个系统，该系统对可执行代码和系统中对其功能至关重要的 250特定数据提供强大的完整性保障。在这个系统中，可能存在三种类型的 251策略： 252 253 1. 一种策略，在这种策略中，如果操作未能匹配到任何规则，则该操 254 作将被拒绝。 255 2. 一种策略，在这种策略中，如果操作未能匹配到任何规则，则该操 256 作将被允许。 257 3. 一种策略，在这种策略中，如果操作未能匹配到任何规则，则执行 258 操作由策略作者指定。 259 260第一种类型的策略示例如下:: 261 262 op=EXECUTE integrity_verified=YES action=ALLOW 263 264在示例系统中，这对于可执行文件来说效果很好，因为所有可执行文件 265都应该拥有完整性保障。但问题出现在第二个要求上，即关于特定数据 266文件的要求。这将导致如下策略（假设策略按行依次执行）:: 267 268 op=EXECUTE integrity_verified=YES action=ALLOW 269 270 op=READ integrity_verified=NO label=critical_t action=DENY 271 op=READ action=ALLOW 272 273若阅读过文档，了解策略按顺序执行且默认动作是拒绝，那么这个策略的 274逻辑还算清晰；但最后一行规则实际上将读取操作的默认动作改成了允许。 275这种设计是必要的，因为在实际系统中，存在一些无需验证的读取操作（例 276如向日志文件追加内容时的读取操作）。 277 278第二种策略类型（未匹配任何规则时默认允许）在管控特定数据文件时逻辑 279更清晰，其策略可简化为:: 280 281 op=READ integrity_verified=NO label=critical_t action=DENY 282 283但与第一种策略类似，这种默认允许的策略在管控执行操作时会存在缺陷， 284因此仍需显式覆盖默认动作:: 285 286 op=EXECUTE integrity_verified=YES action=ALLOW 287 op=EXECUTE action=DENY 288 289 op=READ integrity_verified=NO label=critical_t action=DENY 290 291这就引出了第三种策略类型（自定义默认动作）。该类型无需让用户绞尽脑汁 292通过空规则覆盖默认动作，而是强制用户根据自身场景思考合适的默认动作是 293什么，并显式声明:: 294 295 DEFAULT op=EXECUTE action=DENY 296 op=EXECUTE integrity_verified=YES action=ALLOW 297 298 DEFAULT op=READ action=ALLOW 299 op=READ integrity_verified=NO label=critical_t action=DENY 300 301策略调试: 302~~~~~~~~~ 303 304在开发策略时，知道策略违反了哪一行有助于减少调试成本；可以 305将调查的范围缩小到导致该行为的确切行。有些完整性策略系统并 306不提供这一信息，而是提供评估过程中使用的信息。这随后需要将 307这些信息和策略进行关联，以分析哪里了问题。 308 309相反，IPE只会输出匹配到的规则。这将调查范围限制到确切到策略行 310（在特定规则的情况下）或部分（在DEFAULT规则的情况下）。当在 311评估策略时观察到策略失败时，这可以减少迭代和调查的时间。 312 313IPE的策略引擎还被设计成让人类容易理解如何调查策略失败。每一 314行都会按编写顺序进行评估，因此算法非常简单，便于人类重现步 315骤并找出可能导致失败的原因。而在调查其他的系统中，加载策略 316时会进行优化（例如对规则排序）。在这些系统中，调试需要多个 317步骤，而且没有先阅读代码的情况下，终端用户可能无法完全理解 318该算法的原理。 319 320简化策略: 321~~~~~~~~~ 322 323最后，IPE的策略是为系统管理员设计的，而不是内核开发人员。 324IPE不涉及单独的LSM钩子（或系统调用），而是涵盖操作。这 325意味着，系统管理员不需要知道像 ``mmap`` 、 ``mprotect`` 、 326``execve`` 和 ``uselib`` 这些系统调用必须有规则进行保护， 327而只需要知道他们想要限制代码执行。这减少了由于缺乏对底层 328系统的了解而可能导致的绕过情况；而IPE的维护者作为内核开发 329人员，可以做出正确的选择，确定某些操作是否与这些操作匹配， 330以及在什么条件下匹配。 331 332实现说明 333-------- 334 335匿名内存 336~~~~~~~~ 337 338在IPE中，匿名内存的处理方式与其他任何类型的访问没有区别。当匿 339名内存使用 ``+X`` 映射时，它仍然会进入 ``file_mmp`` 或 340``file_mprotect`` 钩子，但此时会带有一个 ``NULL`` 文件对象 341这会像其他文件一样提交进行评估。然而，所有当前的信任属性都会 342评估为假，因为它们都是基于文件的，而此次操作并不与任何文件相关联。 343 344.. WARNING:: 345 346 这也适用于 ``kernel_load_data`` 钩子，当内核从一个没有文件 347 支持的用户空间缓冲区加载数据时。在这种情况下，所有当前的信任 348 属性也将评估为false。 349 350Securityfs接口 351~~~~~~~~~~~~~~ 352 353每个策略的对应的securityfs树是有些独特的。例如，对于一个标准的 354securityfs策略树:: 355 356 MyPolicy 357 |- active 358 |- delete 359 |- name 360 |- pkcs7 361 |- policy 362 |- update 363 |- version 364 365策略存储在MyPolicy对应节点的 ``->i_private`` 数据中。 366 367测试 368---- 369 370IPE为策略解析器提供了KUnit测试。推荐kunitconfig:: 371 372 CONFIG_KUNIT=y 373 CONFIG_SECURITY=y 374 CONFIG_SECURITYFS=y 375 CONFIG_PKCS7_MESSAGE_PARSER=y 376 CONFIG_SYSTEM_DATA_VERIFICATION=y 377 CONFIG_FS_VERITY=y 378 CONFIG_FS_VERITY_BUILTIN_SIGNATURES=y 379 CONFIG_BLOCK=y 380 CONFIG_MD=y 381 CONFIG_BLK_DEV_DM=y 382 CONFIG_DM_VERITY=y 383 CONFIG_DM_VERITY_VERIFY_ROOTHASH_SIG=y 384 CONFIG_NET=y 385 CONFIG_AUDIT=y 386 CONFIG_AUDITSYSCALL=y 387 CONFIG_BLK_DEV_INITRD=y 388 389 CONFIG_SECURITY_IPE=y 390 CONFIG_IPE_PROP_DM_VERITY=y 391 CONFIG_IPE_PROP_DM_VERITY_SIGNATURE=y 392 CONFIG_IPE_PROP_FS_VERITY=y 393 CONFIG_IPE_PROP_FS_VERITY_BUILTIN_SIG=y 394 CONFIG_SECURITY_IPE_KUNIT_TEST=y 395 396此外，IPE 具有一个基于 Python 的集成 397`测试套件 <https://github.com/microsoft/ipe/tree/test-suite>`_ 398可以测试用户界面和强制执行功能。 399