PageRenderTime 69ms CodeModel.GetById 18ms RepoModel.GetById 1ms app.codeStats 0ms

/Documentation/security/self-protection.rst

https://github.com/kvaneesh/linux
ReStructuredText | 317 lines | 246 code | 71 blank | 0 comment | 0 complexity | 6092f4bc9c49c1c6d22409f606bb1ffa MD5 | raw file
  1. ======================
  2. Kernel Self-Protection
  3. ======================
  4. Kernel self-protection is the design and implementation of systems and
  5. structures within the Linux kernel to protect against security flaws in
  6. the kernel itself. This covers a wide range of issues, including removing
  7. entire classes of bugs, blocking security flaw exploitation methods,
  8. and actively detecting attack attempts. Not all topics are explored in
  9. this document, but it should serve as a reasonable starting point and
  10. answer any frequently asked questions. (Patches welcome, of course!)
  11. In the worst-case scenario, we assume an unprivileged local attacker
  12. has arbitrary read and write access to the kernel's memory. In many
  13. cases, bugs being exploited will not provide this level of access,
  14. but with systems in place that defend against the worst case we'll
  15. cover the more limited cases as well. A higher bar, and one that should
  16. still be kept in mind, is protecting the kernel against a _privileged_
  17. local attacker, since the root user has access to a vastly increased
  18. attack surface. (Especially when they have the ability to load arbitrary
  19. kernel modules.)
  20. The goals for successful self-protection systems would be that they
  21. are effective, on by default, require no opt-in by developers, have no
  22. performance impact, do not impede kernel debugging, and have tests. It
  23. is uncommon that all these goals can be met, but it is worth explicitly
  24. mentioning them, since these aspects need to be explored, dealt with,
  25. and/or accepted.
  26. Attack Surface Reduction
  27. ========================
  28. The most fundamental defense against security exploits is to reduce the
  29. areas of the kernel that can be used to redirect execution. This ranges
  30. from limiting the exposed APIs available to userspace, making in-kernel
  31. APIs hard to use incorrectly, minimizing the areas of writable kernel
  32. memory, etc.
  33. Strict kernel memory permissions
  34. --------------------------------
  35. When all of kernel memory is writable, it becomes trivial for attacks
  36. to redirect execution flow. To reduce the availability of these targets
  37. the kernel needs to protect its memory with a tight set of permissions.
  38. Executable code and read-only data must not be writable
  39. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  40. Any areas of the kernel with executable memory must not be writable.
  41. While this obviously includes the kernel text itself, we must consider
  42. all additional places too: kernel modules, JIT memory, etc. (There are
  43. temporary exceptions to this rule to support things like instruction
  44. alternatives, breakpoints, kprobes, etc. If these must exist in a
  45. kernel, they are implemented in a way where the memory is temporarily
  46. made writable during the update, and then returned to the original
  47. permissions.)
  48. In support of this are ``CONFIG_STRICT_KERNEL_RWX`` and
  49. ``CONFIG_STRICT_MODULE_RWX``, which seek to make sure that code is not
  50. writable, data is not executable, and read-only data is neither writable
  51. nor executable.
  52. Most architectures have these options on by default and not user selectable.
  53. For some architectures like arm that wish to have these be selectable,
  54. the architecture Kconfig can select ARCH_OPTIONAL_KERNEL_RWX to enable
  55. a Kconfig prompt. ``CONFIG_ARCH_OPTIONAL_KERNEL_RWX_DEFAULT`` determines
  56. the default setting when ARCH_OPTIONAL_KERNEL_RWX is enabled.
  57. Function pointers and sensitive variables must not be writable
  58. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  59. Vast areas of kernel memory contain function pointers that are looked
  60. up by the kernel and used to continue execution (e.g. descriptor/vector
  61. tables, file/network/etc operation structures, etc). The number of these
  62. variables must be reduced to an absolute minimum.
  63. Many such variables can be made read-only by setting them "const"
  64. so that they live in the .rodata section instead of the .data section
  65. of the kernel, gaining the protection of the kernel's strict memory
  66. permissions as described above.
  67. For variables that are initialized once at ``__init`` time, these can
  68. be marked with the (new and under development) ``__ro_after_init``
  69. attribute.
  70. What remains are variables that are updated rarely (e.g. GDT). These
  71. will need another infrastructure (similar to the temporary exceptions
  72. made to kernel code mentioned above) that allow them to spend the rest
  73. of their lifetime read-only. (For example, when being updated, only the
  74. CPU thread performing the update would be given uninterruptible write
  75. access to the memory.)
  76. Segregation of kernel memory from userspace memory
  77. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  78. The kernel must never execute userspace memory. The kernel must also never
  79. access userspace memory without explicit expectation to do so. These
  80. rules can be enforced either by support of hardware-based restrictions
  81. (x86's SMEP/SMAP, ARM's PXN/PAN) or via emulation (ARM's Memory Domains).
  82. By blocking userspace memory in this way, execution and data parsing
  83. cannot be passed to trivially-controlled userspace memory, forcing
  84. attacks to operate entirely in kernel memory.
  85. Reduced access to syscalls
  86. --------------------------
  87. One trivial way to eliminate many syscalls for 64-bit systems is building
  88. without ``CONFIG_COMPAT``. However, this is rarely a feasible scenario.
  89. The "seccomp" system provides an opt-in feature made available to
  90. userspace, which provides a way to reduce the number of kernel entry
  91. points available to a running process. This limits the breadth of kernel
  92. code that can be reached, possibly reducing the availability of a given
  93. bug to an attack.
  94. An area of improvement would be creating viable ways to keep access to
  95. things like compat, user namespaces, BPF creation, and perf limited only
  96. to trusted processes. This would keep the scope of kernel entry points
  97. restricted to the more regular set of normally available to unprivileged
  98. userspace.
  99. Restricting access to kernel modules
  100. ------------------------------------
  101. The kernel should never allow an unprivileged user the ability to
  102. load specific kernel modules, since that would provide a facility to
  103. unexpectedly extend the available attack surface. (The on-demand loading
  104. of modules via their predefined subsystems, e.g. MODULE_ALIAS_*, is
  105. considered "expected" here, though additional consideration should be
  106. given even to these.) For example, loading a filesystem module via an
  107. unprivileged socket API is nonsense: only the root or physically local
  108. user should trigger filesystem module loading. (And even this can be up
  109. for debate in some scenarios.)
  110. To protect against even privileged users, systems may need to either
  111. disable module loading entirely (e.g. monolithic kernel builds or
  112. modules_disabled sysctl), or provide signed modules (e.g.
  113. ``CONFIG_MODULE_SIG_FORCE``, or dm-crypt with LoadPin), to keep from having
  114. root load arbitrary kernel code via the module loader interface.
  115. Memory integrity
  116. ================
  117. There are many memory structures in the kernel that are regularly abused
  118. to gain execution control during an attack, By far the most commonly
  119. understood is that of the stack buffer overflow in which the return
  120. address stored on the stack is overwritten. Many other examples of this
  121. kind of attack exist, and protections exist to defend against them.
  122. Stack buffer overflow
  123. ---------------------
  124. The classic stack buffer overflow involves writing past the expected end
  125. of a variable stored on the stack, ultimately writing a controlled value
  126. to the stack frame's stored return address. The most widely used defense
  127. is the presence of a stack canary between the stack variables and the
  128. return address (``CONFIG_STACKPROTECTOR``), which is verified just before
  129. the function returns. Other defenses include things like shadow stacks.
  130. Stack depth overflow
  131. --------------------
  132. A less well understood attack is using a bug that triggers the
  133. kernel to consume stack memory with deep function calls or large stack
  134. allocations. With this attack it is possible to write beyond the end of
  135. the kernel's preallocated stack space and into sensitive structures. Two
  136. important changes need to be made for better protections: moving the
  137. sensitive thread_info structure elsewhere, and adding a faulting memory
  138. hole at the bottom of the stack to catch these overflows.
  139. Heap memory integrity
  140. ---------------------
  141. The structures used to track heap free lists can be sanity-checked during
  142. allocation and freeing to make sure they aren't being used to manipulate
  143. other memory areas.
  144. Counter integrity
  145. -----------------
  146. Many places in the kernel use atomic counters to track object references
  147. or perform similar lifetime management. When these counters can be made
  148. to wrap (over or under) this traditionally exposes a use-after-free
  149. flaw. By trapping atomic wrapping, this class of bug vanishes.
  150. Size calculation overflow detection
  151. -----------------------------------
  152. Similar to counter overflow, integer overflows (usually size calculations)
  153. need to be detected at runtime to kill this class of bug, which
  154. traditionally leads to being able to write past the end of kernel buffers.
  155. Probabilistic defenses
  156. ======================
  157. While many protections can be considered deterministic (e.g. read-only
  158. memory cannot be written to), some protections provide only statistical
  159. defense, in that an attack must gather enough information about a
  160. running system to overcome the defense. While not perfect, these do
  161. provide meaningful defenses.
  162. Canaries, blinding, and other secrets
  163. -------------------------------------
  164. It should be noted that things like the stack canary discussed earlier
  165. are technically statistical defenses, since they rely on a secret value,
  166. and such values may become discoverable through an information exposure
  167. flaw.
  168. Blinding literal values for things like JITs, where the executable
  169. contents may be partially under the control of userspace, need a similar
  170. secret value.
  171. It is critical that the secret values used must be separate (e.g.
  172. different canary per stack) and high entropy (e.g. is the RNG actually
  173. working?) in order to maximize their success.
  174. Kernel Address Space Layout Randomization (KASLR)
  175. -------------------------------------------------
  176. Since the location of kernel memory is almost always instrumental in
  177. mounting a successful attack, making the location non-deterministic
  178. raises the difficulty of an exploit. (Note that this in turn makes
  179. the value of information exposures higher, since they may be used to
  180. discover desired memory locations.)
  181. Text and module base
  182. ~~~~~~~~~~~~~~~~~~~~
  183. By relocating the physical and virtual base address of the kernel at
  184. boot-time (``CONFIG_RANDOMIZE_BASE``), attacks needing kernel code will be
  185. frustrated. Additionally, offsetting the module loading base address
  186. means that even systems that load the same set of modules in the same
  187. order every boot will not share a common base address with the rest of
  188. the kernel text.
  189. Stack base
  190. ~~~~~~~~~~
  191. If the base address of the kernel stack is not the same between processes,
  192. or even not the same between syscalls, targets on or beyond the stack
  193. become more difficult to locate.
  194. Dynamic memory base
  195. ~~~~~~~~~~~~~~~~~~~
  196. Much of the kernel's dynamic memory (e.g. kmalloc, vmalloc, etc) ends up
  197. being relatively deterministic in layout due to the order of early-boot
  198. initializations. If the base address of these areas is not the same
  199. between boots, targeting them is frustrated, requiring an information
  200. exposure specific to the region.
  201. Structure layout
  202. ~~~~~~~~~~~~~~~~
  203. By performing a per-build randomization of the layout of sensitive
  204. structures, attacks must either be tuned to known kernel builds or expose
  205. enough kernel memory to determine structure layouts before manipulating
  206. them.
  207. Preventing Information Exposures
  208. ================================
  209. Since the locations of sensitive structures are the primary target for
  210. attacks, it is important to defend against exposure of both kernel memory
  211. addresses and kernel memory contents (since they may contain kernel
  212. addresses or other sensitive things like canary values).
  213. Kernel addresses
  214. ----------------
  215. Printing kernel addresses to userspace leaks sensitive information about
  216. the kernel memory layout. Care should be exercised when using any printk
  217. specifier that prints the raw address, currently %px, %p[ad], (and %p[sSb]
  218. in certain circumstances [*]). Any file written to using one of these
  219. specifiers should be readable only by privileged processes.
  220. Kernels 4.14 and older printed the raw address using %p. As of 4.15-rc1
  221. addresses printed with the specifier %p are hashed before printing.
  222. [*] If KALLSYMS is enabled and symbol lookup fails, the raw address is
  223. printed. If KALLSYMS is not enabled the raw address is printed.
  224. Unique identifiers
  225. ------------------
  226. Kernel memory addresses must never be used as identifiers exposed to
  227. userspace. Instead, use an atomic counter, an idr, or similar unique
  228. identifier.
  229. Memory initialization
  230. ---------------------
  231. Memory copied to userspace must always be fully initialized. If not
  232. explicitly memset(), this will require changes to the compiler to make
  233. sure structure holes are cleared.
  234. Memory poisoning
  235. ----------------
  236. When releasing memory, it is best to poison the contents, to avoid reuse
  237. attacks that rely on the old contents of memory. E.g., clear stack on a
  238. syscall return (``CONFIG_GCC_PLUGIN_STACKLEAK``), wipe heap memory on a
  239. free. This frustrates many uninitialized variable attacks, stack content
  240. exposures, heap content exposures, and use-after-free attacks.
  241. Destination tracking
  242. --------------------
  243. To help kill classes of bugs that result in kernel addresses being
  244. written to userspace, the destination of writes needs to be tracked. If
  245. the buffer is destined for userspace (e.g. seq_file backed ``/proc`` files),
  246. it should automatically censor sensitive values.