规则和权限

PostgreSQL 9.4.4 中文手册
上一页 | 上一级 | 章 38. 规则系统 | 下一页

# 38.5. 规则和权限

由于PostgreSQL规则系统对查询的重写， 非初始查询指定的其它表/视图被访问。使用更新规则的时候，这可能包括对表的写权限。

重写规则并不拥有一个独立的所有者。关系(表或视图)的所有者自动成为重写规则的缺省所有者。 PostgreSQL规则系统改变缺省的访问控制系统的特性。 因规则而使用的关系要对定义规则所有者进行权限检查，而不是激活规则的用户， 这意味着一个用户只需要对他的查询里明确指定的表/视图拥有所需的权限就可进行操作。

例如：某用户有一个电话号码列表，其中一些是私人的，另外的一些是办公室秘书需要的。 他可以用下面方法构建查询：

    CREATE TABLE phone_data (person text, phone text, private boolean);
    CREATE VIEW phone_number AS
        SELECT person, CASE WHEN NOT private THEN phone END AS phone
        FROM phone_data;
    GRANT SELECT ON phone_number TO secretary;

除了他以外(还有数据库超级用户)没有人可以访问`phone_data`表。 但因为`GRANT`的原因，秘书可以从`phone_number` 视图上运行`SELECT`。规则系统将把从`phone_number` 里的`SELECT`重写为从`phone_data`里的 `SELECT`。因为用户是`phone_number`的所有者， 因此也是规则的所有者，所以现在要检查他对`phone_data`的读访问的权限， 而这个查询是被允许的。同时也要检查访问`phone_number`的权限， 但这是对一个被撤消权限的用户进行检查的，所以除了用户自己和秘书外没有人可以使用它。

权限检查是按规则逐条进行的。所以此时的秘书是唯一的一个可以看到公共电话号码的人。 但秘书可以设立另一个视图并且赋予该视图公共权限。这样， 任何人都可以通过秘书的视图看到`phone_number`数据。 秘书不能做的事情是创建一个直接访问`phone_data`的视图(实际上他是可以的， 但没有任何作用，因为每个访问都会因通不过权限检查而被踢出事务)。而且用户很快会认识到， 秘书开放了他的`phone_number`视图后，他还可以撤消他的访问权限。这样， 所有对秘书视图的访问马上就失效了。

有些人会认为这种逐条规则的检查是一个安全漏洞，但事实上不是。如果这样做不能奏效， 秘书将必须建立一个与`phone_number`有相同字段的表并且每天拷贝一次数据进去。 那么这是他自己的数据因而可以赋予其它人访问的权力。一个`GRANT` 意味着"我信任你"。如果某个你信任的人做了上面的事情， 那你就该想想是否该`REVOKE`了。

请注意，当视图可以用来隐藏使用了上面的技术的特定的内容时， 它们不能用来可靠地隐藏在不可视的行的数据，除非已经设置了`security_barrier` 标志。例如，下面的视图是不安全的：

    CREATE VIEW phone_number AS
        SELECT person, phone FROM phone_data WHERE phone NOT LIKE '412%';

这个视图可能看起来是安全的，因为规则系统将重写`phone_number`里面的任意 `SELECT`到`phone_data`里面的`SELECT`， 并且添加只有不是以412开头的`phone`才是所需要的条目的条件。 但是如果用户可以创建他或她自己的函数，那么使规划器在`NOT LIKE` 表达式之前执行用户定义的函数也不困难。例如：

    CREATE FUNCTION tricky(text, text) RETURNS bool AS $$
    BEGIN
        RAISE NOTICE '% => %', $1, $2;
        RETURN true;
    END
    $$ LANGUAGE plpgsql COST 0.0000000000000000000001;

    SELECT * FROM phone_number WHERE tricky(person, phone);

`phone_data`表里的每个人和电话号码将作为一个`NOTICE`打印， 因为规划器将在更多的昂贵的`NOT LIKE`之前执行 廉价的`tricky`函数。即使阻止了用户定义新的函数， 内建的函数可以用在类似的安全系统里。（例如， 大多数转换函数在他们产生的错误消息中包含他们的输入值。）

类似的注意事项应用于更新规则。在上一章的例子里，例子数据库里的表的所有者可以把 `shoelace`视图的`SELECT`, `INSERT`, `UPDATE`, `DELETE`权限赋予其他人。但对`shoelace_log`只有`SELECT`权限。 写日志记录的规则动作仍然可以成功的执行。并且其它用户可以看到日志记录。 但他不能创建伪记录，而且他也不能对现有记录进行修改或删除。 在这种情况下，不能通过使规划器改变操作的顺序来推翻规则， 因为唯一引用`shoelace_log`的规则是一个未修饰的`INSERT`。 在更复杂的情形中这可能不是真的。

当必须为视图提供行级别的安全性时，`security_barrier` 属性应该应用于视图。这样就阻止了在行上调用恶意的选择函数和操作，直到视图完成了它的工作。 例如，如果上面显示的视图像这样创建，它将是安全的：

    CREATE VIEW phone_number WITH (security_barrier) AS
        SELECT person, phone FROM phone_data WHERE phone NOT LIKE '412%';

带有`security_barrier`创建视图可能执行起来更糟糕。 通常，这是没有办法避免的：如果可能危及安全，那么最快可能的计划必须拒绝。 因为这个原因，缺省不启用这个选项。

当处理的函数没有副作用时，查询计划器有更大的灵活性。这样的函数被称为`LEAKPROOF`， 包括许多简单、常用的操作符，例如许多相等操作符。查询计划器可以安全的允许这样的函数在查询执行过程的任何时候评估。 因为在行上不可见的调用它们不会给用户泄露任何关于不可见行的信息。相反的， 一个函数可能会抛出一个错误，取决于作为参数（例如在溢出或除以零的情况下抛出一个错误） 接收到的值是非防止泄露的，并且如果在安全视图的行过滤器之前应用可能提供重要的关于不可见行的信息。

理解这个是重要的，即使视图创建时带有了`security_barrier`选项， 狭义来讲，为了安全，只有不可见元组的内容不会被传送到可能不安全的函数。 用户很可能对于推断不可见的数据有其他的意思；例如，他们使用`EXPLAIN` 看到查询计划，或测量查询在视图上的运行时间。恶意攻击者也许能够推断不可见数据的数量， 或者甚至获得一些关于数据分布或常见值的信息（因为这些事情可能影响计划的运行时间； 甚至，因为他们也反映在优化器的统计数据中，计划的选择）。如果关心了这些"covert channel" 类型的攻击，那么给这些数据授予任何权限可能是不明智的。

上一页 | 起始页 | 下一页
在 `INSERT`, `UPDATE`, 和 `DELETE`上的规则 | 上一级 | 规则和命令状态