[PATCH v5 0/1] Safe LSM (un)loading, and immutable hooks

From: Sargun Dhillon
Date: Sun Apr 08 2018 - 02:59:18 EST


The primary security benefit of this patchset is the introduction of read-only
hooks, even if some security modules have mutable hooks. Currently, if you have
any LSMs with mutable hooks it will render all heads, and list nodes mutable.
These are a prime place to attack because being able to manipulate those hooks
is a way to bypass all LSMs easily and to create a persistent, covert channel to
intercept nearly all calls.

If LSMs have a model to be unloaded or are compiled as modules, they should mark
themselves mutable at compile time, and use the LSM_HOOK_INIT_MUTABLE macro
instead of the LSM_HOOK_INIT macro, so their hooks are on the mutable chain.

There is a shares SRCU between all security hooks to facilitate safe LSM-
unloading. This SRCU is very cheap for runtime overhead on reads, but there is
synchronization around it for unloads. There is only a cost to pay at unload
time, which is based on the execution time of longest chain of callbacks after
synchronization begins.

Because of all of this, we can now load LSMs at runtime, so those APIs are
exposed. It is up to the module author to check if
CONFIG_SECURITY_WRITABLE_HOOKS is enabled before trying to load. Even if this
flag is set to true at compile time, to unload modules, the
CONFIG_SECURITY_UNLOADABLE_MODULES flag must be enabled as well. This behaviour
of allowing modules to unload at runtime can be can be disabled either at boot
time or runtime by changing the security.allow_unload_hooks kernel parameter.
Once module unloading is disabled, no longer will users be able to call
delete_module on their LSM's LKM. It still allows LSMs themselves to trigger
unloading, as to not break the existing (SELinux-utilized) API.

Changes since:
v4:
* Introduce the configuration flag "CONFIG_SECURITY_UNLOADABLE_MODULES"
to disable module unloading
* Introduce the kernel parameter security.allow_unload_hooks
v3:
* Instead of taking the approach of a "null hook", using the approach of
a second set of hooks -- this was mostly done through the
FOR_EACH_SECURITY_HOOK_MUTABLE macro, which gets compiled out if
CONFIG_SECURITY_WRITABLE_HOOKS is disabled.
v2:
* Split out hlist_head patch
* Apply Tetsuo's changes to clean up functions which are not
covered by call_int_hook / call_void_hook
* Disable NULL hook checking when uneeded
v1:
* Add SRCU to allow for code-unloading
* Add concurrency control around hook mutation

Sargun Dhillon (1):
security: Add mechanism to safely (un)load LSMs after boot time

include/linux/lsm_hooks.h | 36 ++--
security/Kconfig | 13 +-
security/security.c | 280 ++++++++++++++++++++++++++---
security/selinux/hooks.c | 448 ++++++++++++++++++++++++----------------------
4 files changed, 518 insertions(+), 259 deletions(-)

--
2.14.1