Mô hình cách đọc kèo bóng đá củaSelinuxMô tả tất cả cách đọc kèo bóng đá quy tắc kiểm soát truy cập là mối quan hệ giữa một thực thể chủ thể (thông thường là máy khách của cơ sở dữ liệu) và một thực thể đối tượng (như đối tượng cơ sở dữ liệu), mỗi đối tượng được xác định bởi nhãn bảo mật. Nếu quyền truy cập vào một đối tượng không được dán nhãn, đối tượng được xử lý như thể nó được gán nhãnUnlabeled_t.

Hiện tại,sepgsqlCho phép cách đọc kèo bóng đá nhãn bảo mật được gán cho cách đọc kèo bóng đá lược đồ, bảng, cột, trình tự, chế độ xem và chức năng. Khisepgsqlđang được sử dụng, cách đọc kèo bóng đá nhãn bảo mật được tự động được gán cho cách đọc kèo bóng đá đối tượng cơ sở dữ liệu được hỗ trợ tại thời điểm tạo. Nhãn này được gọi là nhãn bảo mật mặc định và được quyết định theo Chính sách bảo mật hệ thống, lấy làm nhãn của người tạo, nhãn được gán cho đối tượng cha mẹ của đối tượng mới và tên tùy chọn của đối tượng được xây dựng.

Một đối tượng cơ sở dữ liệu mới về cơ bản kế thừa nhãn bảo mật của đối tượng cha, ngoại trừ khi chính sách bảo mật có cách đọc kèo bóng đá quy tắc đặc biệt được gọi là quy tắc chuyển đổi loại, trong trường hợp đó có thể áp dụng nhãn khác. Đối với cách đọc kèo bóng đá lược đồ, đối tượng cha là cơ sở dữ liệu hiện tại; Đối với cách đọc kèo bóng đá bảng, trình tự, chế độ xem và chức năng, đó là lược đồ chứa; Đối với cách đọc kèo bóng đá cột, đó là bảng chứa.

cho cách đọc kèo bóng đá bảng,db_table: select, db_table: chèn, db_table: cập nhậthoặcdb_table: xóađược kiểm tra tất cả cách đọc kèo bóng đá bảng mục tiêu được tham chiếu tùy thuộc vào loại câu lệnh; Ngoài ra,db_table: selectcũng được kiểm tra tất cả cách đọc kèo bóng đá bảng có chứa cách đọc kèo bóng đá cột được tham chiếu trongWHEREhoặcTrở vềmệnh đề, như một nguồn dữ cách đọc kèo bóng đá choCập nhật, v.v.

Quyền cấp độ cột cũng sẽ được kiểm tra cho mỗi cột được tham chiếu.db_column: chọnĐược kiểm tra trên không chỉ cách đọc kèo bóng đá cột được đọc bằngChọn, nhưng những người được tham chiếu trong cách đọc kèo bóng đá câu lệnh DML khác;db_column: cập nhậthoặcdb_column: chèncũng sẽ được kiểm tra cách đọc kèo bóng đá cột được sửa đổi bởiCập nhật25120_25126Chèn.

Ví dụ: xem xét:

Cập nhật T1 Set x = 2, y = func1 (y) trong đó z = 100;

ở đây,db_column: cập nhậtsẽ được kiểm traT1.x, vì nó đang được cập nhật,db_column: chọn cập nhậtsẽ được kiểm traT1.Y, vì nó vừa được cập nhật và tham chiếu, vàdb_column: chọnsẽ được kiểm traT1.Z, vì nó chỉ được tham chiếu.db_table: chọn cập nhậtcũng sẽ được kiểm tra ở cấp độ bảng.

cho cách đọc kèo bóng đá chuỗi,DB_Sequence: get_valueđược kiểm tra khi chúng tôi tham chiếu một đối tượng chuỗi bằng cách sử dụngChọn; Tuy nhiên, lưu ý rằng chúng tôi hiện không kiểm tra quyền khi thực hiện cách đọc kèo bóng đá chức năng tương ứng nhưlastVal ().

để xem,26169_26185Sẽ được kiểm tra, sau đó mọi quyền bắt buộc khác sẽ được kiểm tra trên cách đọc kèo bóng đá đối tượng được mở rộng từ chế độ xem, riêng lẻ.

cho cách đọc kèo bóng đá chức năng,db_procedure: execute26398_26562DB_Procedure: EntryPointQuyền kiểm tra xem nó có thể thực hiện dưới dạng điểm nhập của thủ tục đáng tin cậy hay không.

Để truy cập bất kỳ đối tượng lược đồ nào,db_schema: tìm kiếmQuyền được yêu cầu trên lược đồ chứa. Khi một đối tượng được tham chiếu mà không có trình độ lược đồ, cách đọc kèo bóng đá lược đồ mà quyền này không có mặt sẽ không được tìm kiếm (giống như thể người dùng không cósử dụngĐặc quyền trên lược đồ). Nếu có trình độ lược đồ rõ ràng có mặt, sẽ xảy ra lỗi nếu người dùng không có quyền cần thiết trên lược đồ có tên.

Khách hàng phải được phép truy cập tất cả cách đọc kèo bóng đá bảng và cột được tham chiếu, ngay cả khi chúng có nguồn gốc từ cách đọc kèo bóng đá chế độ xem sau đó được mở rộng, để chúng tôi áp dụng cách đọc kèo bóng đá quy tắc kiểm soát truy cập nhất quán độc lập với cách thức mà nội dung bảng được tham chiếu.

Hệ thống đặc quyền cơ sở dữ liệu mặc định cho phép cách đọc kèo bóng đá siêu người dùng cơ sở dữ liệu sửa đổi danh mục hệ thống bằng cách đọc kèo bóng đá lệnh DML và tham chiếu hoặc sửa đổi cách đọc kèo bóng đá bảng bánh mì nướng. cách đọc kèo bóng đá hoạt động này bị cấm khisepgsqlđược bật.

SelinuxXác định một số quyền để kiểm soát cách đọc kèo bóng đá hoạt động chung cho từng loại đối tượng; chẳng hạn như sáng tạo, thay đổi, thả và relabel của nhãn bảo mật. Ngoài ra, một số loại đối tượng có quyền đặc biệt để kiểm soát cách đọc kèo bóng đá hoạt động đặc trưng của chúng; chẳng hạn như bổ sung hoặc xóa cách đọc kèo bóng đá mục tên trong một lược đồ cụ thể.

Tạo đối tượng cơ sở dữ cách đọc kèo bóng đá mới yêu cầuTạocho phép.Selinuxsẽ cấp hoặc từ chối quyền này dựa trên nhãn bảo mật của khách hàng và nhãn bảo mật được đề xuất cho đối tượng mới. Trong một số trường hợp, cần có cách đọc kèo bóng đá đặc quyền bổ sung:

Khithảlệnh được thực thi,thảsẽ được kiểm tra trên đối tượng bị xóa. Quyền cũng sẽ được kiểm tra cho cách đọc kèo bóng đá đối tượng bị rơi gián tiếp quaCascade30037_30162remove_nameTrên lược đồ.

khithay đổiLệnh được thực thi,SETATTR30326_30582

Quy trình đáng tin cậy tương tự như cách đọc kèo bóng đá hàm xác định bảo mật hoặc cách đọc kèo bóng đá lệnh setuid.Selinux32283_32701

32730_33395

cách đọc kèo bóng đá hoạt động trên nên được thực hiện bởi người dùng quản trị.

Postgres =# Chọn * từ Khách hàng;
Lỗi: Selinux: vi phạm chính sách cách đọc kèo bóng đá
postgres =# Chọn CID, CNAME, SHOW_CREDIT (CID) từ Khách hàng;
 cid | cname |     show_credit
-----+--------+---------------------
   1 | Taro | 1111-2222-3333-XXXX
   2 | Hanako | 5555-6666-7777-XXXX
(2 hàng)

Trong trường hợp này, người dùng thông thường không thể tham chiếuKhách hàng.Credittrực tiếp, nhưng một thủ tục đáng tin cậyshow_creditCho phép người dùng in số thẻ tín dụng của khách hàng với một số chữ số được che dấu.

Có thể sử dụng tính năng chuyển đổi miền động của Selinux để chuyển nhãn cách đọc kèo bóng đá của quy trình khách, miền máy khách, sang bối cảnh mới, nếu chính sách cách đọc kèo bóng đá cho phép. Miền máy khách cầnSetCiencho phép và cảDyntransitionTừ tên miền cũ đến miền mới.

Chuyển đổi miền động nên được xem xét cẩn thận, vì họ cho phép người dùng chuyển nhãn của họ, và do đó, cách đọc kèo bóng đá đặc quyền của họ, theo tùy chọn của họ, thay vì (như trong trường hợp quy trình đáng tin cậy) theo hệ thống. Do đó,DyntransitionQuyền chỉ được coi là an toàn khi được sử dụng để chuyển sang một miền với một bộ đặc quyền nhỏ hơn so với bản gốc. Ví dụ:

hồi quy =# chọn sepgsql_getcon ();
                    sepgsql_getcon
-----------------------------------------------------------
 Unconfined_u: Unconed_r: Unconed_t: S0-S0: C0.C1023
(1 hàng)

hồi quy =# Chọn sepgsql_setcon ('unconfined_u: unconfined_r: unconfined_t: s0-s0: c1.c4');
 sepgsql_setcon 
----------------
 t
(1 hàng)

hồi quy =# Chọn sepgsql_setcon ('unconfined_u: unconfined_r: unconfined_t: s0-s0: c1.c1023');
Lỗi: Selinux: vi phạm chính sách cách đọc kèo bóng đá

Trong ví dụ này, chúng tôi được phép chuyển từ phạm vi MCS lớn hơnC1.C1023đến phạm vi nhỏ hơnC1.C4, nhưng chuyển đổi trở lại đã bị từ chối.

Một sự kết hợp giữa chuyển đổi miền động và quy trình đáng tin cậy cho phép một trường hợp sử dụng thú vị phù hợp với vòng đời quy trình điển hình của phần mềm gộp kết nối. Ngay cả khi phần mềm gộp kết nối của bạn không được phép chạy hầu hết cách đọc kèo bóng đá lệnh SQL, bạn có thể cho phép nó chuyển nhãn bảo mật của máy khách bằng cách sử dụngsepgsql_setcon ()chức năng từ trong một thủ tục đáng tin cậy; Điều đó sẽ cần một số thông tin xác thực để ủy quyền cho yêu cầu chuyển nhãn máy khách. Sau đó, phiên này sẽ có đặc quyền của người dùng mục tiêu, thay vì Pooler kết nối. Kết nối Pooler sau này có thể hoàn nguyên thay đổi nhãn cách đọc kèo bóng đá bằng cách sử dụngsepgsql_setcon ()vớinull36621_37019

Chúng tôi từ chốiTải37364_37471