Zbigniew Jędrzejewski-Szmek 62fe94
From 38349552d8d6418229fee9ee68b1f470b4ad7a52 Mon Sep 17 00:00:00 2001
Zbigniew Jędrzejewski-Szmek 62fe94
From: Daniel Mack <daniel@zonque.org>
Zbigniew Jędrzejewski-Szmek 62fe94
Date: Fri, 19 Sep 2014 14:38:52 +0200
Zbigniew Jędrzejewski-Szmek 62fe94
Subject: [PATCH] bus-policy: add policy check function
Zbigniew Jędrzejewski-Szmek 62fe94
Zbigniew Jędrzejewski-Szmek 62fe94
Add policy_check() to actually check whether an incoming message is allowed
Zbigniew Jędrzejewski-Szmek 62fe94
by the policy. The code is not yet used from the proxy daemon, though.
Zbigniew Jędrzejewski-Szmek 62fe94
---
Zbigniew Jędrzejewski-Szmek 62fe94
 src/bus-proxyd/bus-policy.c | 156 ++++++++++++++++++++++++++++++++++++++++++++
Zbigniew Jędrzejewski-Szmek 62fe94
 src/bus-proxyd/bus-policy.h |   2 +
Zbigniew Jędrzejewski-Szmek 62fe94
 2 files changed, 158 insertions(+)
Zbigniew Jędrzejewski-Szmek 62fe94
Zbigniew Jędrzejewski-Szmek 62fe94
diff --git a/src/bus-proxyd/bus-policy.c b/src/bus-proxyd/bus-policy.c
Zbigniew Jędrzejewski-Szmek 62fe94
index e870fbc948..151d679f6b 100644
Zbigniew Jędrzejewski-Szmek 62fe94
--- a/src/bus-proxyd/bus-policy.c
Zbigniew Jędrzejewski-Szmek 62fe94
+++ b/src/bus-proxyd/bus-policy.c
Zbigniew Jędrzejewski-Szmek 62fe94
@@ -24,6 +24,7 @@
Zbigniew Jędrzejewski-Szmek 62fe94
 #include "strv.h"
Zbigniew Jędrzejewski-Szmek 62fe94
 #include "conf-files.h"
Zbigniew Jędrzejewski-Szmek 62fe94
 #include "bus-internal.h"
Zbigniew Jędrzejewski-Szmek 62fe94
+#include "bus-message.h"
Zbigniew Jędrzejewski-Szmek 62fe94
 #include "bus-policy.h"
Zbigniew Jędrzejewski-Szmek 62fe94
 
Zbigniew Jędrzejewski-Szmek 62fe94
 static void policy_item_free(PolicyItem *i) {
Zbigniew Jędrzejewski-Szmek 62fe94
@@ -591,6 +592,161 @@ static int file_load(Policy *p, const char *path) {
Zbigniew Jędrzejewski-Szmek 62fe94
         }
Zbigniew Jędrzejewski-Szmek 62fe94
 }
Zbigniew Jędrzejewski-Szmek 62fe94
 
Zbigniew Jędrzejewski-Szmek 62fe94
+static bool is_matching_name_request(sd_bus_message *m, const char *name, bool prefix) {
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        char *n = NULL;
Zbigniew Jędrzejewski-Szmek 62fe94
+        int r;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (!sd_bus_message_is_method_call(m, "org.freedesktop.DBus", "RequestName"))
Zbigniew Jędrzejewski-Szmek 62fe94
+                return false;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        r = sd_bus_message_read(m, "s", &n);
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (r < 0)
Zbigniew Jędrzejewski-Szmek 62fe94
+                return false;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        r = sd_bus_message_rewind(m, true);
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (r < 0)
Zbigniew Jędrzejewski-Szmek 62fe94
+                return false;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (prefix)
Zbigniew Jędrzejewski-Szmek 62fe94
+                return startswith(name, n);
Zbigniew Jędrzejewski-Szmek 62fe94
+        else
Zbigniew Jędrzejewski-Szmek 62fe94
+                return streq_ptr(name, n);
Zbigniew Jędrzejewski-Szmek 62fe94
+}
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+static bool is_matching_call(PolicyItem *i, sd_bus_message *m, const char *name) {
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (i->message_type && (i->message_type != m->header->type))
Zbigniew Jędrzejewski-Szmek 62fe94
+                return false;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (i->path && (!m->path || !streq(i->path, m->path)))
Zbigniew Jędrzejewski-Szmek 62fe94
+                return false;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (i->member && (!m->member || !streq(i->member, m->member)))
Zbigniew Jędrzejewski-Szmek 62fe94
+                return false;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (i->interface && (!m->interface || !streq(i->interface, m->interface)))
Zbigniew Jędrzejewski-Szmek 62fe94
+                return false;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (i->name && (!name || !streq(i->name, name)))
Zbigniew Jędrzejewski-Szmek 62fe94
+                return false;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        return true;
Zbigniew Jędrzejewski-Szmek 62fe94
+}
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+enum {
Zbigniew Jędrzejewski-Szmek 62fe94
+        ALLOW,
Zbigniew Jędrzejewski-Szmek 62fe94
+        DUNNO,
Zbigniew Jędrzejewski-Szmek 62fe94
+        DENY,
Zbigniew Jędrzejewski-Szmek 62fe94
+};
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+static int is_permissive(PolicyItem *i) {
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        return (i->type == POLICY_ITEM_ALLOW) ? ALLOW : DENY;
Zbigniew Jędrzejewski-Szmek 62fe94
+}
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+static int check_policy_item(PolicyItem *i, sd_bus_message *m, const struct ucred *ucred) {
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        switch (i->class) {
Zbigniew Jędrzejewski-Szmek 62fe94
+        case POLICY_ITEM_SEND:
Zbigniew Jędrzejewski-Szmek 62fe94
+                if ((m->bus->is_kernel  && is_matching_call(i, m, m->destination)) ||
Zbigniew Jędrzejewski-Szmek 62fe94
+                    (!m->bus->is_kernel && is_matching_call(i, m, m->sender)))
Zbigniew Jędrzejewski-Szmek 62fe94
+                        return is_permissive(i);
Zbigniew Jędrzejewski-Szmek 62fe94
+                break;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        case POLICY_ITEM_RECV:
Zbigniew Jędrzejewski-Szmek 62fe94
+                if ((m->bus->is_kernel  && is_matching_call(i, m, m->sender)) ||
Zbigniew Jędrzejewski-Szmek 62fe94
+                    (!m->bus->is_kernel && is_matching_call(i, m, m->destination)))
Zbigniew Jędrzejewski-Szmek 62fe94
+                        return is_permissive(i);
Zbigniew Jędrzejewski-Szmek 62fe94
+                break;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        case POLICY_ITEM_OWN:
Zbigniew Jędrzejewski-Szmek 62fe94
+                if (is_matching_name_request(m, i->name, false))
Zbigniew Jędrzejewski-Szmek 62fe94
+                        return is_permissive(i);
Zbigniew Jędrzejewski-Szmek 62fe94
+                break;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        case POLICY_ITEM_OWN_PREFIX:
Zbigniew Jędrzejewski-Szmek 62fe94
+                if (is_matching_name_request(m, i->name, true))
Zbigniew Jędrzejewski-Szmek 62fe94
+                        return is_permissive(i);
Zbigniew Jędrzejewski-Szmek 62fe94
+                break;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        case POLICY_ITEM_USER:
Zbigniew Jędrzejewski-Szmek 62fe94
+                if (sd_bus_message_is_method_call(m, "org.freedesktop.DBus", "Hello") &&
Zbigniew Jędrzejewski-Szmek 62fe94
+                    (streq_ptr(i->name, "*") || (i->uid_valid && i->uid == ucred->uid)))
Zbigniew Jędrzejewski-Szmek 62fe94
+                        return is_permissive(i);
Zbigniew Jędrzejewski-Szmek 62fe94
+                break;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        case POLICY_ITEM_GROUP:
Zbigniew Jędrzejewski-Szmek 62fe94
+                if (sd_bus_message_is_method_call(m, "org.freedesktop.DBus", "Hello") &&
Zbigniew Jędrzejewski-Szmek 62fe94
+                    (streq_ptr(i->name, "*") || (i->gid_valid && i->gid == ucred->gid)))
Zbigniew Jędrzejewski-Szmek 62fe94
+                        return is_permissive(i);
Zbigniew Jędrzejewski-Szmek 62fe94
+                break;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        case POLICY_ITEM_IGNORE:
Zbigniew Jędrzejewski-Szmek 62fe94
+        default:
Zbigniew Jędrzejewski-Szmek 62fe94
+                break;
Zbigniew Jędrzejewski-Szmek 62fe94
+        }
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        return DUNNO;
Zbigniew Jędrzejewski-Szmek 62fe94
+}
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+static int check_policy_items(PolicyItem *items, sd_bus_message *m, const struct ucred *ucred) {
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        PolicyItem *i;
Zbigniew Jędrzejewski-Szmek 62fe94
+        int r, ret = DUNNO;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        /* Check all policies in a set - a broader one might be followed by a more specific one,
Zbigniew Jędrzejewski-Szmek 62fe94
+         * and the order of rules in policy definitions matters */
Zbigniew Jędrzejewski-Szmek 62fe94
+        LIST_FOREACH(items, i, items) {
Zbigniew Jędrzejewski-Szmek 62fe94
+                r = check_policy_item(i, m, ucred);
Zbigniew Jędrzejewski-Szmek 62fe94
+                if (r != DUNNO)
Zbigniew Jędrzejewski-Szmek 62fe94
+                        ret = r;
Zbigniew Jędrzejewski-Szmek 62fe94
+        }
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        return ret;
Zbigniew Jędrzejewski-Szmek 62fe94
+}
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+bool policy_check(Policy *p, sd_bus_message *m, const struct ucred *ucred) {
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        PolicyItem *items;
Zbigniew Jędrzejewski-Szmek 62fe94
+        int r;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        /*
Zbigniew Jędrzejewski-Szmek 62fe94
+         * The policy check is implemented by the following logic:
Zbigniew Jędrzejewski-Szmek 62fe94
+         *
Zbigniew Jędrzejewski-Szmek 62fe94
+         * 1. Check mandatory items. If the message matches any of these, it is decisive.
Zbigniew Jędrzejewski-Szmek 62fe94
+         * 2. See if the passed ucred match against the user/group hashmaps. A matching entry is also decisive.
Zbigniew Jędrzejewski-Szmek 62fe94
+         * 3. Consult the defaults if non of the above matched with a more specific rule.
Zbigniew Jędrzejewski-Szmek 62fe94
+         * 4. If the message isn't caught be the defaults either, reject it.
Zbigniew Jędrzejewski-Szmek 62fe94
+         */
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        r = check_policy_items(p->mandatory_items, m, ucred);
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (r != DUNNO)
Zbigniew Jędrzejewski-Szmek 62fe94
+                return r == ALLOW;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (ucred->pid > 0) {
Zbigniew Jędrzejewski-Szmek 62fe94
+                items = hashmap_get(p->user_items, UINT32_TO_PTR(ucred->uid));
Zbigniew Jędrzejewski-Szmek 62fe94
+                if (items) {
Zbigniew Jędrzejewski-Szmek 62fe94
+                        r = check_policy_items(items, m, ucred);
Zbigniew Jędrzejewski-Szmek 62fe94
+                        if (r != DUNNO)
Zbigniew Jędrzejewski-Szmek 62fe94
+                                return r == ALLOW;
Zbigniew Jędrzejewski-Szmek 62fe94
+                }
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+                items = hashmap_get(p->group_items, UINT32_TO_PTR(ucred->gid));
Zbigniew Jędrzejewski-Szmek 62fe94
+                if (items) {
Zbigniew Jędrzejewski-Szmek 62fe94
+                        r = check_policy_items(items, m, ucred);
Zbigniew Jędrzejewski-Szmek 62fe94
+                        if (r != DUNNO)
Zbigniew Jędrzejewski-Szmek 62fe94
+                                return r == ALLOW;
Zbigniew Jędrzejewski-Szmek 62fe94
+                }
Zbigniew Jędrzejewski-Szmek 62fe94
+        }
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        r = check_policy_items(p->default_items, m, ucred);
Zbigniew Jędrzejewski-Szmek 62fe94
+        if (r != DUNNO)
Zbigniew Jędrzejewski-Szmek 62fe94
+                return r == ALLOW;
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
+        return false;
Zbigniew Jędrzejewski-Szmek 62fe94
+}
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
 int policy_load(Policy *p, char **files) {
Zbigniew Jędrzejewski-Szmek 62fe94
         char **i;
Zbigniew Jędrzejewski-Szmek 62fe94
         int r;
Zbigniew Jędrzejewski-Szmek 62fe94
diff --git a/src/bus-proxyd/bus-policy.h b/src/bus-proxyd/bus-policy.h
Zbigniew Jędrzejewski-Szmek 62fe94
index a6ff5c37f6..2222716e7a 100644
Zbigniew Jędrzejewski-Szmek 62fe94
--- a/src/bus-proxyd/bus-policy.h
Zbigniew Jędrzejewski-Szmek 62fe94
+++ b/src/bus-proxyd/bus-policy.h
Zbigniew Jędrzejewski-Szmek 62fe94
@@ -76,6 +76,8 @@ typedef struct Policy {
Zbigniew Jędrzejewski-Szmek 62fe94
 int policy_load(Policy *p, char **files);
Zbigniew Jędrzejewski-Szmek 62fe94
 void policy_free(Policy *p);
Zbigniew Jędrzejewski-Szmek 62fe94
 
Zbigniew Jędrzejewski-Szmek 62fe94
+bool policy_check(Policy *p, sd_bus_message *m, const struct ucred *c);
Zbigniew Jędrzejewski-Szmek 62fe94
+
Zbigniew Jędrzejewski-Szmek 62fe94
 void policy_dump(Policy *p);
Zbigniew Jędrzejewski-Szmek 62fe94
 
Zbigniew Jędrzejewski-Szmek 62fe94
 const char* policy_item_type_to_string(PolicyItemType t) _const_;