Mô hình kèo bóng đá cúp c2 mật củaSelinuxMô tả tất cả kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 nhãn bảo mật được gán cho kèo bóng đá cúp c2 lược đồ, bảng, cột, trình tự, chế độ xem và chức năng. Khisepgsqlđang được sử dụng, kèo bóng đá cúp c2 nhãn bảo mật được tự động được gán cho kèo bóng đá cúp c2 đố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ó kèo bóng đá cúp c2 quy tắc đặc biệt được gọi là quy tắc chuyển đổi loại, trong trường hợp đó một nhãn khác có thể được áp dụng. Đối với kèo bóng đá cúp c2 lược đồ, đối tượng cha là cơ sở dữ liệu hiện tại; Đối với kèo bóng đá cúp c2 bảng, trình tự, chế độ xem và chức năng, đó là lược đồ chứa; Đối với kèo bóng đá cúp c2 cột, đó là bảng chứa.

cho kèo bóng đá cúp c2 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ả kèo bóng đá cúp c2 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ả kèo bóng đá cúp c2 bảng có chứa kèo bóng đá cúp c2 cột được tham chiếu trongWHEREhoặcTrở vềmệnh đề, như một nguồn dữ kèo bóng đá cúp c2 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ỉ kèo bóng đá cúp c2 cột được đọc bằngChọn, nhưng những người được tham chiếu trong kèo bóng đá cúp c2 câu lệnh DML khác;db_column: cập nhậthoặcdb_column: chèncũng sẽ được kiểm tra kèo bóng đá cúp c2 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;

25101_25109db_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ó được cập nhật vừa được 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 kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 chức năng tương ứng nhưlastVal ().

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

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

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

Tạo đối tượng cơ sở dữ kèo bóng đá cúp c2 mới yêu cầuTạoquyền.Selinux28263_28440

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 kèo bóng đá cúp c2 đối tượng bị rơi gián tiếp quaCascade. Xóa kèo bóng đá cúp c2 đố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 đồ.

KhiAlterLệ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ừ kèo bóng đá cúp c2 đố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 đó, kèo bóng đá cúp c2 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ư kèo bóng đá cúp c2 chức năng xác định bảo mật hoặc kèo bóng đá cúp c2 lệnh setuid.Selinux32089_32507

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 kèo bóng đá cúp c2 mật trên cột Khách hàng.Credit
               Là 'system_u: object_r: sepgsql_secret_table_t: s0';
Nhãn kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 mật trên chức năng show_credit (int)
               Là 'system_u: object_r: sepgsql_trusted_proc_exec_t: s0';
Nhãn kèo bóng đá cúp c2 mật

kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 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 chiếuKhách hàng.Credit33710_33747show_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 kèo bóng đá cúp c2 mật 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 kèo bóng đá cúp c2 mật 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.

34510_34757DyntransitionQuyề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 kèo bóng đá cúp c2 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 trở lại đã bị từ chối.

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 kèo bóng đá cúp c2 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 ()Hàm 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 kèo bóng đá cúp c2 mật bằng cách sử dụngsepgsql_setcon ()vớinull36426_36824

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 kèo bóng đá cúp c2 mật.