Re: [RFC PATCH] fanotify, inotify, dnotify, security: add security hook for fs notifications

[Casey Schaufler]

On 7/10/2019 11:39 AM, Stephen Smalley wrote:
> On 7/10/19 12:38 PM, Casey Schaufler wrote:
>> On 7/10/2019 6:34 AM, Aaron Goidel wrote:
>>> As of now, setting watches on filesystem objects has, at most, applied a
>>> check for read access to the inode, and in the case of fanotify, requires
>>> CAP_SYS_ADMIN. No specific security hook or permission check has been
>>> provided to control the setting of watches. Using any of inotify, dnotify,
>>> or fanotify, it is possible to observe, not only write-like operations, but
>>> even read access to a file. Modeling the watch as being merely a read from
>>> the file is insufficient.
>>
>> That's a very model-specific viewpoint. It is true for
>> a fine-grained model such as SELinux, but not necessarily
>> for a model with more traditional object definitions.
>> I'm not saying you're wrong, I'm saying that stating it
>> as a given assumes your model. You can do that all you want
>> within SELinux, but it doesn't hold when you're talking
>> about the LSM infrastructure.
>
> I think you'll find that even for Smack, merely checking read access to the watched inode is insufficient for your purposes, because the watch permits more than just observing changes to the state of the inode. The absence of a hook is a gap in LSM coverage, regardless of security model. If you are just objecting to the wording choice, then I suppose that can be amended to "is insufficient for SELinux" or "is insufficient for some needs" or something.

More an objection to the assumption of model than anything else.
There are enough differing viewpoints on what is necessary and/or
sufficient that I wouldn't want the assumption to be a bone of
contention later on.

>
>> Have you coordinated this with the work that David Howells
>> is doing on generic notifications?
>
> We're following that work but to date it hasn't appeared to address dnotify/inotify/fanotify IIUC. I think it is complementary; we are adding LSM control over an existing kernel notification mechanism while he is adding a new notification facility for other kinds of events along with corresponding LSM hooks. It is consistent in that it provides a way to control setting of watches based on the watched object.

All true. My hope is that LSM controls on notification mechanisms
have some sort of coordination. I'd rather have one hook that's used
in multiple places than yet another set of disparate hooks that do
mostly the same thing.

>
>>> Furthermore, fanotify watches grant more power to
>>> an application in the form of permission events. While notification events
>>> are solely, unidirectional (i.e. they only pass information to the
>>> receiving application), permission events are blocking. Permission events
>>> make a request to the receiving application which will then reply with a
>>> decision as to whether or not that action may be completed.
>>
>> You're not saying why this is an issue.
>
> It allows the watching application control over the process that is attempting the access. Are you just asking for that to be stated more explicitly?

Yes, that would be good.

>
>>> In order to solve these issues, a new LSM hook is implemented and has been
>>> placed within the system calls for marking filesystem objects with inotify,
>>> fanotify, and dnotify watches. These calls to the hook are placed at the
>>> point at which the target inode has been resolved and are provided with
>>> both the inode and the mask of requested notification events. The mask has
>>> already been translated into common FS_* values shared by the entirety of
>>> the fs notification infrastructure.
>>>
>>> This only provides a hook at the point of setting a watch, and presumes
>>> that permission to set a particular watch implies the ability to receive
>>> all notification about that object which match the mask. This is all that
>>> is required for SELinux. If other security modules require additional hooks
>>> or infrastructure to control delivery of notification, these can be added
>>> by them. It does not make sense for us to propose hooks for which we have
>>> no implementation. The understanding that all notifications received by the
>>> requesting application are all strictly of a type for which the application
>>> has been granted permission shows that this implementation is sufficient in
>>> its coverage.
>>
>> A reasonable approach. It would be *nice* if you had
>> a look at the other security modules to see what they
>> might need from such a hook or hook set.
>>
>>> Fanotify further has the issue that it returns a file descriptor with the
>>> file mode specified during fanotify_init() to the watching process on
>>> event. This is already covered by the LSM security_file_open hook if the
>>> security module implements checking of the requested file mode there.
>>
>> How is this relevant?
>
> It is part of ensuring complete control over fanotify. Some existing security modules (like Smack, for example) currently do not perform this checking of the requested file mode and therefore are subject to this privilege escalation scenario through fanotify. A watcher that only has read access to the file can get a read-write descriptor to it in this manner. You may argue that this doesn't matter because fanotify requires CAP_SYS_ADMIN but even for Smack that isn't the same as CAP_MAC_OVERRIDE.

Yes, there's a difference in the assumptions security modules
make about the privilege escalation. Again the point is that
it isn't a good idea to include a single module's policy regarding
that in the argument for the generic hook. It's enough to explain
why SELinux needs it.

>
>>
>>> The selinux_inode_notify hook implementation works by adding three new
>>> file permissions: watch, watch_reads, and watch_with_perm (descriptions
>>> about which will follow). The hook then decides which subset of these
>>> permissions must be held by the requesting application based on the
>>> contents of the provided mask. The selinux_file_open hook already checks
>>> the requested file mode and therefore ensures that a watching process
>>> cannot escalate its access through fanotify.
>>
>> Thereby increasing the granularity of control available.
>
> It isn't merely a question of granularity but also completeness and preventing privilege escalation.

I was simply making an observation.

>
>>> The watch permission is the baseline permission for setting a watch on an
>>> object and is a requirement for any watch to be set whatsoever. It should
>>> be noted that having either of the other two permissions (watch_reads and
>>> watch_with_perm) does not imply the watch permission, though this could be
>>> changed if need be.
>>>
>>> The watch_reads permission is required to receive notifications from
>>> read-exclusive events on filesystem objects. These events include accessing
>>> a file for the purpose of reading and closing a file which has been opened
>>> read-only. This distinction has been drawn in order to provide a direct
>>> indication in the policy for this otherwise not obvious capability. Read
>>> access to a file should not necessarily imply the ability to observe read
>>> events on a file.
>>>
>>> Finally, watch_with_perm only applies to fanotify masks since it is the
>>> only way to set a mask which allows for the blocking, permission event.
>>> This permission is needed for any watch which is of this type. Though
>>> fanotify requires CAP_SYS_ADMIN, this is insufficient as it gives implicit
>>> trust to root, which we do not do, and does not support least privilege.
>>>
>>> Signed-off-by: Aaron Goidel <acgoide@xxxxxxxxxxxxx>
>>> ---
>>> Â fs/notify/dnotify/dnotify.cÂÂÂÂÂÂÂÂ | 14 +++++++++++---
>>>  fs/notify/fanotify/fanotify_user.c | 11 +++++++++--
>>> Â fs/notify/inotify/inotify_user.cÂÂÂ | 12 ++++++++++--
>>> Â include/linux/lsm_hooks.hÂÂÂÂÂÂÂÂÂÂ |Â 2 ++
>>> Â include/linux/security.hÂÂÂÂÂÂÂÂÂÂÂ |Â 7 +++++++
>>> Â security/security.cÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ |Â 5 +++++
>>> Â security/selinux/hooks.cÂÂÂÂÂÂÂÂÂÂÂ | 22 ++++++++++++++++++++++
>>> Â security/selinux/include/classmap.h |Â 2 +-
>>> Â 8 files changed, 67 insertions(+), 8 deletions(-)
>>>
>>> diff --git a/fs/notify/dnotify/dnotify.c b/fs/notify/dnotify/dnotify.c
>>> index 250369d6901d..e91ce092efb1 100644
>>> --- a/fs/notify/dnotify/dnotify.c
>>> +++ b/fs/notify/dnotify/dnotify.c
>>> @@ -22,6 +22,7 @@
>>> Â #include <linux/sched/signal.h>
>>> Â #include <linux/dnotify.h>
>>> Â #include <linux/init.h>
>>> +#include <linux/security.h>
>>> Â #include <linux/spinlock.h>
>>> Â #include <linux/slab.h>
>>> Â #include <linux/fdtable.h>
>>> @@ -288,6 +289,16 @@ int fcntl_dirnotify(int fd, struct file *filp, unsigned long arg)
>>> ÂÂÂÂÂÂÂÂÂ goto out_err;
>>> ÂÂÂÂÂ }
>>> Â +ÂÂÂ /*
>>> +ÂÂÂÂ * convert the userspace DN_* "arg" to the internal FS_*
>>> +ÂÂÂÂ * defined in fsnotify
>>> +ÂÂÂÂ */
>>> +ÂÂÂ mask = convert_arg(arg);
>>> +
>>> +ÂÂÂ error = security_inode_notify(inode, mask);
>>> +ÂÂÂ if (error)
>>> +ÂÂÂÂÂÂÂ goto out_err;
>>> +
>>> ÂÂÂÂÂ /* expect most fcntl to add new rather than augment old */
>>> ÂÂÂÂÂ dn = kmem_cache_alloc(dnotify_struct_cache, GFP_KERNEL);
>>> ÂÂÂÂÂ if (!dn) {
>>> @@ -302,9 +313,6 @@ int fcntl_dirnotify(int fd, struct file *filp, unsigned long arg)
>>> ÂÂÂÂÂÂÂÂÂ goto out_err;
>>> ÂÂÂÂÂ }
>>> Â -ÂÂÂ /* convert the userspace DN_* "arg" to the internal FS_* defines in fsnotify */
>>> -ÂÂÂ mask = convert_arg(arg);
>>> -
>>> ÂÂÂÂÂ /* set up the new_fsn_mark and new_dn_mark */
>>> ÂÂÂÂÂ new_fsn_mark = &new_dn_mark->fsn_mark;
>>> ÂÂÂÂÂ fsnotify_init_mark(new_fsn_mark, dnotify_group);
>>> diff --git a/fs/notify/fanotify/fanotify_user.c b/fs/notify/fanotify/fanotify_user.c
>>> index a90bb19dcfa2..c0d9fa998377 100644
>>> --- a/fs/notify/fanotify/fanotify_user.c
>>> +++ b/fs/notify/fanotify/fanotify_user.c
>>> @@ -528,7 +528,7 @@ static const struct file_operations fanotify_fops = {
>>> Â };
>>> Â Â static int fanotify_find_path(int dfd, const char __user *filename,
>>> -ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ struct path *path, unsigned int flags)
>>> +ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ struct path *path, unsigned int flags, __u64 mask)
>>> Â {
>>> ÂÂÂÂÂ int ret;
>>> Â @@ -567,8 +567,15 @@ static int fanotify_find_path(int dfd, const char __user *filename,
>>> Â ÂÂÂÂÂ /* you can only watch an inode if you have read permissions on it */
>>> ÂÂÂÂÂ ret = inode_permission(path->dentry->d_inode, MAY_READ);
>>> +ÂÂÂ if (ret) {
>>> +ÂÂÂÂÂÂÂ path_put(path);
>>> +ÂÂÂÂÂÂÂ goto out;
>>> +ÂÂÂ }
>>> +
>>> +ÂÂÂ ret = security_inode_notify(path->dentry->d_inode, mask);
>>> ÂÂÂÂÂ if (ret)
>>> ÂÂÂÂÂÂÂÂÂ path_put(path);
>>> +
>>> Â out:
>>> ÂÂÂÂÂ return ret;
>>> Â }
>>> @@ -1014,7 +1021,7 @@ static int do_fanotify_mark(int fanotify_fd, unsigned int flags, __u64 mask,
>>> ÂÂÂÂÂÂÂÂÂ goto fput_and_out;
>>> ÂÂÂÂÂ }
>>> Â -ÂÂÂ ret = fanotify_find_path(dfd, pathname, &path, flags);
>>> +ÂÂÂ ret = fanotify_find_path(dfd, pathname, &path, flags, mask);
>>> ÂÂÂÂÂ if (ret)
>>> ÂÂÂÂÂÂÂÂÂ goto fput_and_out;
>>> Â diff --git a/fs/notify/inotify/inotify_user.c b/fs/notify/inotify/inotify_user.c
>>> index 7b53598c8804..47b079f20aad 100644
>>> --- a/fs/notify/inotify/inotify_user.c
>>> +++ b/fs/notify/inotify/inotify_user.c
>>> @@ -39,6 +39,7 @@
>>> Â #include <linux/poll.h>
>>> Â #include <linux/wait.h>
>>> Â #include <linux/memcontrol.h>
>>> +#include <linux/security.h>
>>> Â Â #include "inotify.h"
>>> Â #include "../fdinfo.h"
>>> @@ -342,7 +343,8 @@ static const struct file_operations inotify_fops = {
>>> Â /*
>>> ÂÂ * find_inode - resolve a user-given path to a specific inode
>>> ÂÂ */
>>> -static int inotify_find_inode(const char __user *dirname, struct path *path, unsigned flags)
>>> +static int inotify_find_inode(const char __user *dirname, struct path *path,
>>> +ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ unsigned int flags, __u64 mask)
>>> Â {
>>> ÂÂÂÂÂ int error;
>>> Â @@ -351,8 +353,14 @@ static int inotify_find_inode(const char __user *dirname, struct path *path, uns
>>> ÂÂÂÂÂÂÂÂÂ return error;
>>> ÂÂÂÂÂ /* you can only watch an inode if you have read permissions on it */
>>> ÂÂÂÂÂ error = inode_permission(path->dentry->d_inode, MAY_READ);
>>> +ÂÂÂ if (error) {
>>> +ÂÂÂÂÂÂÂ path_put(path);
>>> +ÂÂÂÂÂÂÂ return error;
>>> +ÂÂÂ }
>>> +ÂÂÂ error = security_inode_notify(path->dentry->d_inode, mask);
>>> ÂÂÂÂÂ if (error)
>>> ÂÂÂÂÂÂÂÂÂ path_put(path);
>>> +
>>> ÂÂÂÂÂ return error;
>>> Â }
>>> Â @@ -744,7 +752,7 @@ SYSCALL_DEFINE3(inotify_add_watch, int, fd, const char __user *, pathname,
>>> ÂÂÂÂÂ if (mask & IN_ONLYDIR)
>>> ÂÂÂÂÂÂÂÂÂ flags |= LOOKUP_DIRECTORY;
>>> Â -ÂÂÂ ret = inotify_find_inode(pathname, &path, flags);
>>> +ÂÂÂ ret = inotify_find_inode(pathname, &path, flags, mask);
>>> ÂÂÂÂÂ if (ret)
>>> ÂÂÂÂÂÂÂÂÂ goto fput_and_out;
>>> Â diff --git a/include/linux/lsm_hooks.h b/include/linux/lsm_hooks.h
>>> index 47f58cfb6a19..ef6b74938dd8 100644
>>> --- a/include/linux/lsm_hooks.h
>>> +++ b/include/linux/lsm_hooks.h
>>
>> Hook description comment is missing.
>>
>>> @@ -1571,6 +1571,7 @@ union security_list_options {
>>> ÂÂÂÂÂ int (*inode_getxattr)(struct dentry *dentry, const char *name);
>>> ÂÂÂÂÂ int (*inode_listxattr)(struct dentry *dentry);
>>> ÂÂÂÂÂ int (*inode_removexattr)(struct dentry *dentry, const char *name);
>>> +ÂÂÂ int (*inode_notify)(struct inode *inode, u64 mask);
>>> ÂÂÂÂÂ int (*inode_need_killpriv)(struct dentry *dentry);
>>> ÂÂÂÂÂ int (*inode_killpriv)(struct dentry *dentry);
>>> ÂÂÂÂÂ int (*inode_getsecurity)(struct inode *inode, const char *name,
>>> @@ -1881,6 +1882,7 @@ struct security_hook_heads {
>>> ÂÂÂÂÂ struct hlist_head inode_getxattr;
>>> ÂÂÂÂÂ struct hlist_head inode_listxattr;
>>> ÂÂÂÂÂ struct hlist_head inode_removexattr;
>>> +ÂÂÂ struct hlist_head inode_notify;
>>> ÂÂÂÂÂ struct hlist_head inode_need_killpriv;
>>> ÂÂÂÂÂ struct hlist_head inode_killpriv;
>>> ÂÂÂÂÂ struct hlist_head inode_getsecurity;
>>> diff --git a/include/linux/security.h b/include/linux/security.h
>>> index 659071c2e57c..50106fb9eef9 100644
>>> --- a/include/linux/security.h
>>> +++ b/include/linux/security.h
>>> @@ -301,6 +301,7 @@ int security_inode_listsecurity(struct inode *inode, char *buffer, size_t buffer
>>> Â void security_inode_getsecid(struct inode *inode, u32 *secid);
>>> Â int security_inode_copy_up(struct dentry *src, struct cred **new);
>>> Â int security_inode_copy_up_xattr(const char *name);
>>> +int security_inode_notify(struct inode *inode, u64 mask);
>>> Â int security_kernfs_init_security(struct kernfs_node *kn_dir,
>>> ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ struct kernfs_node *kn);
>>> Â int security_file_permission(struct file *file, int mask);
>>> @@ -392,6 +393,7 @@ void security_inode_invalidate_secctx(struct inode *inode);
>>> Â int security_inode_notifysecctx(struct inode *inode, void *ctx, u32 ctxlen);
>>> Â int security_inode_setsecctx(struct dentry *dentry, void *ctx, u32 ctxlen);
>>> Â int security_inode_getsecctx(struct inode *inode, void **ctx, u32 *ctxlen);
>>> +
>>
>> Please don't change whitespace unless it's directly adjacent to your code.
>>
>>> Â #else /* CONFIG_SECURITY */
>>> Â Â static inline int call_lsm_notifier(enum lsm_event event, void *data)
>>> @@ -776,6 +778,11 @@ static inline int security_inode_removexattr(struct dentry *dentry,
>>> ÂÂÂÂÂ return cap_inode_removexattr(dentry, name);
>>> Â }
>>> Â +static inline int security_inode_notify(struct inode *inode, u64 mask)
>>> +{
>>> +ÂÂÂ return 0;
>>> +}
>>> +
>>> Â static inline int security_inode_need_killpriv(struct dentry *dentry)
>>> Â {
>>> ÂÂÂÂÂ return cap_inode_need_killpriv(dentry);
>>> diff --git a/security/security.c b/security/security.c
>>> index 613a5c00e602..57b2a96c1991 100644
>>> --- a/security/security.c
>>> +++ b/security/security.c
>>> @@ -1251,6 +1251,11 @@ int security_inode_removexattr(struct dentry *dentry, const char *name)
>>> ÂÂÂÂÂ return evm_inode_removexattr(dentry, name);
>>> Â }
>>> Â +int security_inode_notify(struct inode *inode, u64 mask)
>>> +{
>>> +ÂÂÂ return call_int_hook(inode_notify, 0, inode, mask);
>>> +}
>>> +
>>> Â int security_inode_need_killpriv(struct dentry *dentry)
>>> Â {
>>> ÂÂÂÂÂ return call_int_hook(inode_need_killpriv, 0, dentry);
>>> diff --git a/security/selinux/hooks.c b/security/selinux/hooks.c
>>> index c61787b15f27..1a37966c2978 100644
>>> --- a/security/selinux/hooks.c
>>> +++ b/security/selinux/hooks.c
>>> @@ -92,6 +92,7 @@
>>> Â #include <linux/kernfs.h>
>>> Â #include <linux/stringhash.h>ÂÂÂ /* for hashlen_string() */
>>> Â #include <uapi/linux/mount.h>
>>> +#include <linux/fsnotify.h>
>>> Â Â #include "avc.h"
>>> Â #include "objsec.h"
>>> @@ -3261,6 +3262,26 @@ static int selinux_inode_removexattr(struct dentry *dentry, const char *name)
>>> ÂÂÂÂÂ return -EACCES;
>>> Â }
>>> Â +static int selinux_inode_notify(struct inode *inode, u64 mask)
>>> +{
>>> +ÂÂÂ u32 perm = FILE__WATCH; // basic permission, can a watch be set?
>>
>> We don't use // comments in the Linux kernel.
>>
>>> +
>>> +ÂÂÂ struct common_audit_data ad;
>>> +
>>> +ÂÂÂ ad.type = LSM_AUDIT_DATA_INODE;
>>> +ÂÂÂ ad.u.inode = inode;
>>> +
>>> +ÂÂÂ // check if the mask is requesting ability to set a blocking watch
>>> +ÂÂÂ if (mask & (FS_OPEN_PERM | FS_OPEN_EXEC_PERM | FS_ACCESS_PERM))
>>> +ÂÂÂÂÂÂÂ perm |= FILE__WATCH_WITH_PERM; // if so, check that permission
>>> +
>>> +ÂÂÂ // is the mask asking to watch file reads?
>>> +ÂÂÂ if (mask & (FS_ACCESS | FS_ACCESS_PERM | FS_CLOSE_NOWRITE))
>>> +ÂÂÂÂÂÂÂ perm |= FILE__WATCH_READS; // check that permission as well
>>> +
>>> +ÂÂÂ return inode_has_perm(current_cred(), inode, perm, &ad);
>>> +}
>>> +
>>> Â /*
>>> ÂÂ * Copy the inode security context value to the user.
>>> ÂÂ *
>>> @@ -6797,6 +6818,7 @@ static struct security_hook_list selinux_hooks[] __lsm_ro_after_init = {
>>> ÂÂÂÂÂ LSM_HOOK_INIT(inode_getsecid, selinux_inode_getsecid),
>>> ÂÂÂÂÂ LSM_HOOK_INIT(inode_copy_up, selinux_inode_copy_up),
>>> ÂÂÂÂÂ LSM_HOOK_INIT(inode_copy_up_xattr, selinux_inode_copy_up_xattr),
>>> +ÂÂÂ LSM_HOOK_INIT(inode_notify, selinux_inode_notify),
>>> Â ÂÂÂÂÂ LSM_HOOK_INIT(kernfs_init_security, selinux_kernfs_init_security),
>>> Â diff --git a/security/selinux/include/classmap.h b/security/selinux/include/classmap.h
>>> index 201f7e588a29..0654dd2fbebf 100644
>>> --- a/security/selinux/include/classmap.h
>>> +++ b/security/selinux/include/classmap.h
>>> @@ -7,7 +7,7 @@
>>> Â Â #define COMMON_FILE_PERMS COMMON_FILE_SOCK_PERMS, "unlink", "link", \
>>> ÂÂÂÂÂ "rename", "execute", "quotaon", "mounton", "audit_access", \
>>> -ÂÂÂ "open", "execmod"
>>> +ÂÂÂ "open", "execmod", "watch", "watch_with_perm", "watch_reads"
>>> Â Â #define COMMON_SOCK_PERMS COMMON_FILE_SOCK_PERMS, "bind", "connect", \
>>>  "listen", "accept", "getopt", "setopt", "shutdown", "recvfrom", \
>>
>