|
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_;
|