Andy Warner wrote:Joshua Brindle wrote:Andy Warner wrote:KaiGai Kohei wrote:As I noted in the previous message, SE-PostgreSQL is postponed to the PostgreSQL v8.5 after the long discussion in the pgsql-hackers list, unfortunately. However, it also mean a good chance to revise its design because we have a few months before v8.5 development cycle launched. 1. Changes in object classes and access vectors - add db_database:{superuser} permission - remove db_database:{get_param set_param} permission - remove db_table/db_column/db_tuple:{use} permission Please refer the previous messages for them. - add new object class "db_schema" As Andy noted, we directly put database objects under the db_database class directly. But, some of database objects are created under a schema object. In other word, RDBMS's design has three level hierachy as: <database> (<-- some DBMSs calls it as <catalog>) + <schema> + <tables>, <procedures>, ... Now, we control user's DDL statement via permissions on the sepgsql_sysobj_t type as row-level controls. But I think db_schema object class here is meaningful to match SQL's design and analogy to the dir class. The new db_schema object class inherits six permissions from common database objects, and defines three its own permissions: add_object, remove_object, usageI would suggest that the SQL catalog object should also be supported. Though not common in implementation, it is part of the SQL spec. Our DBMS (Trusted RUBIX) supports it, and for us it is basically another level in the naming. (database.catalog.schema.table). I would suggest that a db_catalog object be included with the same basic semantics as the db_schema object.Is there more information available about how Trusted RUBIX uses SELinux? I see on the webpage a brief mention of it but no detailed page like the other access control models, nor in the security policy manager data sheet.On our download page (http://rubix.com/cms/downloads) there is a pdf called the Trusted RUBIX SELinux Guide. Because our SELinux integration is very new we have not updated our website to reflect it yet. The above Guide is the best source of how we use SELinux. I can also answer any questions you have. In general, I created a concept called an "object set" which may be created with SELinux interfaces. An object set is all DBMS objects under (and including) a named catalog object. An object set may include any number of schemata, tables, views, etc. An admin may create an object set and roles to administer the object set. They may also use provided interfaces to give a domain restricted SQL access to the access set (e.g., full sql, select only, insert, update, DDL, etc.). The intent was to partition security domains by database subtree and provide easy interfaces for them to create roles and control SQL access.I see now. When the db object classes were proposed we hoped they would be general enough to cover other dbms's, it looks like we weren't far off.
I have
some comments for permission sets found in the document mentioned above, for
example:
CREATE TABLE: db_database {access}; dir {search} on catalog; dir {search
add_name} on schema; db_table {create} on table
you require dir search, add_name. What is the source context in this case? Is
Trusted RUBIX doing avc_has_perm calls with dir as the object class on behalf of
the connected client or is the server masquerading as the client and those
checks are done by SELinux? I don't think it is a good idea to muddle the object
class ownership concept by doing checks for classes which are owned by another
object manager (except in the case that you are proxying access for that object
manager, such as the case for samba).
Trusted RUBIX does all security decision checks using avc_has_perm on
behalf of the connected client. We use the SELinux mechanism for access
control decisions and never for enforcement (I am speaking of only DBMS
objects). All DBMS object contexts are maintained internally in the
database. RUBIX enforces all decisions. Note that the schema is not an
OS directory, it is purely an internal DBMS object. I only used the dir
object class because there was no support for the DBMS schema or
catalog objects. I believe there will be support for this in the
future, at which time we would replace the use of the dir class with
the db_schema or db_catalog.Yes, if the db object classes supported schema and catalog I would not use the dir. I'm not sure what to say for motivation, other than I felt it important and useful to have security checks on our catalog and schemata. And, since these objects function very closely to an OS directory, and there was no support for the catalog and schema objects in the selinux policy, and I decided not to modify the targeted/mls policies as part of our release, I chose to use the dir object class. Actually, I think I got the idea from an old post on this newsgroup. The options presented in that post were to either modify the policy's object class and permissions or overload a pre-existing object class. I chose the latter. It was the lesser of two evils. I didn't want to have to keep up with updates to the targeted/mls policies.Were the db object classes incomplete for you so you needed to use filesystem object classes? I'm trying to get a feeling for what the motivation was behind these checks.
Yes, Trusted RUBIX with these security checks is released. But no, they are not set in stone. The minute a new policy is released supporting the db_schema and db_catalog object classes will be the time I change our product to use them, and stop using the dir object class.Is Trusted RUBIX with these SELinux checks actually released, are the access checks set in stone? I'd like to see as much consistency between dbms object models as possible so that policy won't be dramatically different between them.