Mô hình bảo mật củaSelinuxMô tả tất cả soi kèo bóng đá truoctran 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 soi kèo bóng đá truoctran nhãn bảo mật được gán cho soi kèo bóng đá truoctran lược đồ, bảng, cột, trình tự, chế độ xem và chức năng. Khisepgsql22912_23261

23273_23657

cho soi kèo bóng đá truoctran 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ả soi kèo bóng đá truoctran 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ả soi kèo bóng đá truoctran bảng có chứa soi kèo bóng đá truoctran cột được tham chiếu trongWHEREhoặcTrở vềmệnh đề, như soi kèo bóng đá truoctran nguồn dữ liệu choCập nhật, v.v.

Quyền cấp độ cột cũng sẽ được soi kèo bóng đá truoctran cho mỗi cột được tham chiếu.db_column: chọnđược kiểm tra trên không chỉ soi kèo bóng đá truoctran cột được đọc bằngChọn, nhưng những người được tham chiếu trong soi kèo bóng đá truoctran câu lệnh DML khác;24761_24779hoặcdb_column: chèncũng sẽ được kiểm tra soi kèo bóng đá truoctran cột được sửa đổi bởiCập nhậthoặcChè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 soi kèo bóng đá truoctranT1.x, vì nó đang được cập nhật,db_column: chọn cập nhậtsẽ được soi kèo bóng đá truoctranT1.Y, vì nó vừa được cập nhật và tham chiếu vàdb_column: chọnsẽ được soi kèo bóng đá truoctranT1.Z, vì nó chỉ được tham chiếu.db_table: chọn cập nhậtcũng sẽ được soi kèo bóng đá truoctran ở cấp độ bảng.

25622_25639DB_Sequence: get_valueđược kiểm tra khi chúng tôi tham chiếu soi kèo bóng đá truoctran đối tượng chuỗi bằng cách sử dụngChọn25776_25885lastVal ().

để xem,db_view: mở rộngSẽ được kiểm tra, sau đó bất kỳ quyền bắt buộc nào khác sẽ được kiểm tra trên soi kèo bóng đá truoctran đối tượng được mở rộng từ chế độ xem, riêng lẻ.

cho soi kèo bóng đá truoctran chức năng,db_procedure: execSẽ được kiểm tra khi người dùng cố gắng thực thi chức năng như soi kèo bóng đá truoctran phần của truy vấn hoặc sử dụng lời mời đường dẫn nhanh. Nếu chức năng này là soi kèo bóng đá truoctran thủ tục đáng tin cậy, nó cũng kiểm traDB_Procedure: EntryPointQuyền soi kèo bóng đá truoctran 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 đồ, soi kèo bóng đá truoctran lược đồ mà quyền này không có mặt sẽ không được tìm kiếm (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ả soi kèo bóng đá truoctran bảng và cột được tham chiếu, ngay cả khi chúng có nguồn gốc từ soi kèo bóng đá truoctran chế độ xem sau đó được mở rộng, để chúng tôi áp dụng soi kèo bóng đá truoctran 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 soi kèo bóng đá truoctran siêu người dùng cơ sở dữ liệu sửa đổi danh mục hệ thống bằng soi kèo bóng đá truoctran lệnh DML và tham chiếu hoặc sửa đổi soi kèo bóng đá truoctran bảng bánh mì nướng. soi kèo bóng đá truoctran hoạt động này bị cấm khisepgsqlđược bật.

SelinuxXác định một số quyền để kiểm soát soi kèo bóng đá truoctran 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 soi kèo bóng đá truoctran hoạt động đặc trưng của chúng; chẳng hạn như bổ sung hoặc xóa soi kèo bóng đá truoctran mục tên trong một lược đồ cụ thể.

Tạo đối tượng cơ sở dữ liệu mới yêu cầuTạoquyền.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ó soi kèo bóng đá truoctran đặc quyền bổ sung:

KhithảLệnh được thực thi,Dropsẽ được kiểm tra trên đối tượng bị xóa. Quyền cũng sẽ được kiểm tra cho soi kèo bóng đá truoctran đối tượng bị rơi gián tiếp quaCascade. Xóa soi kèo bóng đá truoctran đối tượng có trong một lược đồ cụ thể (bảng, chế độ xem, trình tự và quy trình) Ngoài ra yêu cầuremove_nameTrên lược đồ.

KhiATTERlệnh được thực thi,SETATTRsẽ được kiểm tra trên đối tượng được sửa đổi cho từng loại đối tượng, ngoại trừ soi kèo bóng đá truoctran đối tượng công ty con như chỉ mục hoặc kích hoạt của bảng, trong đó thay vào đó, soi kèo bóng đá truoctran quyền được kiểm tra trên đối tượng cha. Trong một số trường hợp, cần có quyền bổ sung:

Quy trình đáng tin cậy tương tự như soi kèo bóng đá truoctran chức năng xác định bảo mật hoặc soi kèo bóng đá truoctran lệnh setuid.Selinux32071_32489

Postgres =# Tạo bảng bảng (
               CID INT Khóa chính,
               văn bản cname,
               Văn bản tín dụng
           );
Tạo bảng
Postgres =# Nhãn bảo mật trên cột Khách hàng.Credit
               Là 'system_u: object_r: sepgsql_secret_table_t: s0';
Nhãn bảo mật
postgres =# tạo hàm show_credit (int) trả về văn bản
             Như 'Chọn regexp_replace (tín dụng,' '-[0-9]+$' ',' '-xxxx' ',' 'g' ')
                        Từ khách hàng nơi CID = $ 1 '
           Ngôn ngữ SQL;
Tạo chức năng
postgres =# Nhãn bảo mật trên chức năng show_credit (int)
               Là 'system_u: object_r: sepgsql_trusted_proc_exec_t: s0';
Nhãn bảo mật

soi kèo bóng đá truoctran 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 bảo mật
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 khảoKhách hàng.Credittrực tiếp, nhưng soi kèo bóng đá truoctran 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 soi kèo bóng đá truoctran 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 bảo mật của quy trình máy khách, miền máy khách, sang bối cảnh mới, nếu điều đó được chính sách bảo mật cho phép. Miền máy khách cầnSetCiencho phép và cả34426_34441Từ 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 đó, soi kèo bóng đá truoctran đặ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 soi kèo bóng đá truoctran miền có soi kèo bóng đá truoctran 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 bảo mật

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 lại đã bị từ chối.

35640_35967sepgsql_setcon ()Hàm từ trong soi kèo bóng đá truoctran thủ tục đáng tin cậy; Điều đó sẽ cần soi kèo bóng đá truoctran 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 bảo mật bằng cách sử dụngsepgsql_setcon ()vớinullĐối số, soi kèo bóng đá truoctran lần nữa được gọi từ trong soi kèo bóng đá truoctran quy trình đáng tin cậy với kiểm tra quyền thích hợp. Vấn đề ở đây là chỉ có quy trình đáng tin cậy thực sự mới có quyền thay đổi nhãn bảo mật hiệu quả và chỉ làm như vậy khi được cung cấp thông tin phù hợp. Tất nhiên, để hoạt động an toàn, lưu trữ thông tin xác thực (bảng, định nghĩa thủ tục hoặc bất cứ điều gì) phải được bảo vệ khỏi truy cập trái phép.

Chúng tôi từ chốiloadLệnh trên bảng, vì bất kỳ mô -đun nào được tải đều có thể dễ dàng phá vỡ thực thi chính sách bảo mật.