지원되는 버전 :현재(17) /16 / 15 / 14 / 13
개발 버전 :18 / Devel
지원되지 않는 버전 :12 / 11 / 10 / 9.6 / 9.5 / 9.4 / 9.3 / 9.2 / 9.1
이 문서는 지원되지 않는 버전의 배트맨 토토을위한 것입니다.
당신은에 대해 같은 페이지를 볼 수 있습니다현재버전 또는 위에 나열된 다른 지원 버전 중 하나입니다.

F.38. 배트맨 토토

배트맨 토토는로드 가능한 모듈입니다 라벨 기반 필수 액세스 제어 (MAC)를 기반으로 지원합니다.Selinux보안 정책.

경고

현재 구현은 중요합니다 제한 사항, 필수 액세스를 시행하지 않습니다 모든 행동에 대한 제어. 보다섹션 F.38.6.

F.38.1. 개요

이 모듈은와 통합됩니다.Selinux추가 레이어를 제공합니다 위와 그 이상 보안 점검은 일반적으로 제공되는 것배트맨 토토. 에서 의 관점Selinux,이 모듈 허용배트맨 토토to 사용자 공간 객체 관리자로 작동합니다. 각 테이블 또는 기능 DML 쿼리에 의해 시작된 액세스는 시스템 보안 정책. 이 점검은 평소에 추가됩니다 SQL 권한 검사 수행배트맨 토토.

Selinux액세스 제어 결정은 보안 레이블을 사용하여 이루어집니다 와 같은 문자열에 의해System_U : Object_r : 배트맨 토토_table_t : S0. 각 액세스 제어 결정에는 두 가지 레이블이 포함됩니다. 행동을 수행하려는 주제와 작업을 수행 할 객체. 이후 라벨은 모든 종류의 객체, 액세스 제어에 적용 할 수 있습니다. 데이터베이스 내에 저장된 개체에 대한 결정은 다음과 같습니다. 이 모듈을 사용하면 동일한 일반 기준에 따라 파일과 같은 다른 유형의 객체에 사용됩니다. 이 디자인 중앙 집중식 보안 정책이 보호하기위한 것입니다. 정보 자산이 어떻게되는지에 대한 세부 사항과 무관합니다 자산이 저장됩니다.

thePostgreSQL : 문서 : 9.1 : 보안 스포츠 토토명령문은 데이터베이스에 보안 레이블을 할당 할 수 있습니다. 물체.

F.38.2. 설치

배트맨 토토에서만 사용할 수 있습니다Linux2.6.28 이상의Selinux활성화. 그렇지 않습니다 다른 플랫폼에서 사용할 수 있습니다. 당신은 또한 필요합니다libselinux2.0.93 이상 그리고Selinux-Policy3.9.13 또는 더 높음 (일부 분포는 필요한 것을 백 포트 할 수 있지만 구형 정책 버전으로의 규칙).

thesestatus명령을 통해 허용됩니다 의 상태 확인Selinux. 에이 일반적인 디스플레이는 다음과 같습니다.

$ sestatus
Selinux 상태 : 활성화
selinuxfs mount : /selinux
현재 모드 : 시행
구성 파일의 모드 : 시행
정책 버전 : 24
구성 파일의 정책 : targeted

ifSelinux비활성화 또는 설치되지 않으면 해당 제품을 먼저 설정해야합니다. 이 모듈 설치.

이 모듈을 작성하려면 옵션을 포함 시키려면-with-selinux배트맨 토토에서구성명령. 확인하십시오Libselinux-DevelRPM은 빌드에 설치됩니다 시간.

이 모듈을 사용하려면 포함해야합니다배트맨 토토inshared_preload_libraries매개 변수배트맨 토토.conf. 그만큼 다른 사람에게로드되면 모듈이 올바르게 작동하지 않습니다. 방법. 모듈이로드되면 실행해야합니다배트맨 토토.sql각 데이터베이스에서. 이것 보안 레이블 관리에 필요한 기능을 설치합니다. 초기 보안 레이블을 지정합니다.

새를 초기화하는 방법을 보여주는 예가 있습니다. 데이터베이스 클러스터배트맨 토토기능 및 보안 레이블이 설치되었습니다. 표시된 경로를 조정하십시오 설치에 적합 :

$ 내보내기 pgdata =/path/to/data/directory
$ initDB
$ vi $ pgdata/배트맨 토토.conf
  변화
    #shared_preload_libraries = '' # (변경 사항을 다시 시작해야 함)
  에게
    shared_preload_libraries = '배트맨 토토' # (변경 사항이 다시 시작됩니다)
Template0 Template1 Postgres의 dbname에 대한 $; 하다
    Postgres --- single -f -c exit_on_error = true $ dbname \
      </usr/local/pgsql/share/contrib/배트맨 토토.sql/dev/null
  완료

다음 중 일부 또는 전부가 표시 될 수 있습니다. 알림의 특정 버전에 따라libselinuxandSelinux-Policy:

/etc/selinux/target/contexts/배트맨 토토_contexts : 33 행에는 잘못된 객체 유형 db_blobs가 있습니다
/etc/selinux/targeted/contexts/배트맨 토토_contexts : 36 행에는 잘못된 객체 유형 db_language가 있습니다
/etc/selinux/targeted/contexts/배트맨 토토_contexts : 37 행에는 잘못된 객체 유형 db_language가 있습니다
/etc/selinux/targeted/contexts/배트맨 토토_contexts : 38 행에 잘못된 객체 유형 db_language가 있습니다
/etc/selinux/targeted/contexts/배트맨 토토_contexts : 39 행에는 잘못된 객체 유형 db_language가 있습니다
/etc/selinux/targeted/contexts/배트맨 토토_contexts : 40 행은 유효하지 않은 객체 유형 db_language

이 메시지는 무해하며 무시되어야합니다.

설치 프로세스가 오류없이 완료되면 가능합니다 이제 서버를 정상적으로 시작합니다.

F.38.3. 회귀 테스트

의 특성으로 인해Selinux, 회귀 테스트 실행배트맨 토토몇 가지 추가가 필요합니다 구성 단계, 일부는 루트로 수행해야합니다. 그만큼 회귀 테스트는 일반적인 것에 의해 실행되지 않습니다확인 make또는만들기 installcheck명령; 구성을 설정해야합니다 그런 다음 테스트 스크립트를 수동으로 호출하십시오. 테스트를 실행해야합니다 에서Contrib/배트맨 토토a의 디렉토리 구성된 배트맨 토토 빌드 트리. 그들은 빌드가 필요하지만 트리, 테스트는 설치된 서버, 즉와 비슷합니다.설치 체크 만들기not만들기 확인하다.

첫 번째, 설정배트맨 토토작업 중 데이터베이스의 지침에 따른 데이터베이스섹션 F.38.2. 메모 현재 운영 체제 사용자가 연결할 수 있어야합니다. 비밀번호가없는 슈퍼 서서로 데이터베이스에 입증.

두 번째, 정책 패키지를 빌드하고 설치하십시오 회귀 테스트. 그만큼배트맨 토토-regtest정책은 세트를 제공하는 특수 목적 정책 패키지입니다. 회귀 테스트 중에 허용되는 규칙. 해야합니다 정책 소스 파일에서 구축 됨배트맨 토토-regtest.te만들기Selinux. 적절한 makefile을 찾아야합니다 당신의 시스템; 아래에 표시된 경로는 예일뿐입니다. 한 번 구축,를 사용 하여이 정책 패키지를 설치하십시오.Semodule공급 정책을로드하는 명령 커널에 패키지. 패키지가 올바르게있는 경우 설치,semodule-l배트맨 토토-regtest as를 나열해야합니다 사용 가능한 정책 패키지 :

$ cd .../contrib/배트맨 토토
$ make -f/usr/share/selinux/devel/makefile
$ sudo semodule -u 배트맨 토토 -regtest.pp
$ sudo semodule -l | Grep 배트맨 토토
배트맨 토토-regtest 1.03

셋째, 켜기배트맨 토토_regression_test_mode. 우리는 가능하지 않습니다 모든 규칙배트맨 토토-regtestby 시스템의 안전을 위해 기본값. 그만큼배트맨 토토_regression_test_mode매개 변수를 활성화합니다 회귀 테스트를 시작하는 데 필요한 규칙. 그럴 수 있습니다 사용 켜기SetSebool명령 :

$ sudo setsebool 배트맨 토토_regression_test_mode on
$ getSebool 배트맨 토토_regression_test_mode
배트맨 토토_regression_test_mode- on

넷째, 쉘이 작동 중인지 확인UnconFined_T도메인 :

$ id -z
unconfined_u : unconfined_r : unconfined_t : s0-s0 : c0.c1023

참조섹션 F.38.717999_18065

마지막으로 회귀 테스트 스크립트 실행 :

$ ./test_배트맨 토토

이 스크립트는 모든 작업을 수행했는지 확인하려고합니다. 구성 단계가 올바르게 진행되고 실행됩니다. 에 대한 회귀 테스트배트맨 토토모듈.

테스트를 완료 한 후를 비활성화하는 것이 좋습니다배트맨 토토_regression_test_mode매개 변수 :

$ sudo setsebool 배트맨 토토_regression_test_mode off

당신은를 제거하는 것을 선호 할 수 있습니다배트맨 토토-regtest전적으로 정책 :

$ sudo semodule -r 배트맨 토토 -regtest

F.38.4. GUC 매개 변수

배트맨 토토.permissive(부울)

이 매개 변수가 가능합니다배트맨 토토허용 모드에서 작동하려면, 시스템 설정에 관계없이. 기본값이 꺼져 있습니다. 이 매개 변수는에서만 설정할 수 있습니다.배트맨 토토.conf파일 또는 서버에서 명령 줄.

이 매개 변수가 켜져있을 때배트맨 토토허용 모드의 기능, Selinux가 일반적으로 시행 모드에서 작동하더라도. 이 매개 변수는 주로 테스트에 유용합니다 목적.

배트맨 토토.debug_audit(부울)

이 매개 변수는 감사 메시지의 인쇄를 가능하게합니다 시스템 정책 설정에 관계없이. 기본값은입니다 꺼짐, 메시지는 메시지가 인쇄 될 것임을 의미합니다 시스템 설정에.

의 보안 정책Selinux제어 규칙도 있습니다 특정 액세스가 기록되어 있는지 여부. 에 의해 기본값, 액세스 위반은 기록되었지만 허용됩니다 액세스는 그렇지 않습니다.

이 매개 변수는 가능한 모든 로깅을 강요합니다 시스템 정책에 관계없이 켜져 있습니다.

F.38.5. 특징

F.38.5.1. 제어 객체 클래스

의 보안 모델Selinux모든 액세스 제어를 설명합니다 주제 간의 관계로서 규칙 (일반적으로 a 데이터베이스의 클라이언트) 및 객체 엔티티 (예 : 데이터베이스 개체), 각각은 보안에 의해 식별됩니다. 상표. 끊임없는 물체에 대한 액세스가 시도되면 객체는 레이블이 할당 된 것처럼 취급됩니다unlabeled_t.

현재,배트맨 토토허용 Schemas, 테이블, 열에 할당 할 보안 레이블 시퀀스, 뷰 및 기능. 언제배트맨 토토사용 중이며 보안 레이블이 있습니다 지원되는 데이터베이스 개체에 자동으로 할당됩니다 창조 시간. 이 레이블은 기본 보안 레이블이라고합니다. 시스템 보안 정책에 따라 결정됩니다. Creator의 레이블과 할당 된 레이블을 입력하는 것으로 간주합니다. 새 개체의 부모 객체.

새 데이터베이스 개체는 기본적으로 보안을 상속합니다 보안 정책을 제외하고 부모 객체의 레이블 유형 변환 규칙으로 알려진 특별 규칙이 있습니다 사례 다른 레이블이 적용될 수 있습니다. 스키마의 경우 부모 객체는 현재 데이터베이스입니다. 테이블, 시퀀스, 뷰 및 함수는 포함 된 스키마입니다. ~을 위한 열, 그것은 포함 테이블입니다.

F.38.5.2. DML 권한

테이블 용db_table : select, db_table : 삽입, db_table : 업데이트또는db_table : delete진술의 종류에 따라 참조 된 대상 테이블; 게다가,db_table : select도 있습니다 열이 포함 된 모든 테이블을 확인했습니다 참조여기서또는반환데이터 소스로서 절 의업데이트등. 예를 들어, 고려하다:

업데이트 T1 세트 x = 2, y = md5sum (y) 여기서 z = 100;

이 경우 우리는 있어야합니다db_table : select외에db_table : 업데이트T1.A내에서 참조됩니다여기서절. 열 수준의 권한이 있습니다 참조 된 각 열에 대해서도 확인하십시오.

열 용db_column : selectis 사용하여 읽는 열뿐만 아니라select, 그러나 다른 사람들은 참조됩니다 DML 문. 물론 확인도 확인합니다.DB_COLUMN : 업데이트또는db_column : insert열에서업데이트또는삽입.

업데이트 T1 세트 x = 2, y = md5sum (y) 여기서 z = 100;

이 경우 확인DB_COLUMN : 업데이트열에서t1.x업데이트 중,DB_COLUMN : SELECT열에서T1.Y업데이트 및 참조, 그리고db_column : select열에서T1.Z, 그것은 단지 참조되므로 에서여기서절.db_table : update도 확인됩니다 테이블 레벨에서.

시퀀스 용db_sequence : get_value우리가있을 때 확인됩니다 를 사용하여 시퀀스 객체를 참조하십시오.select; 그러나 현재는 그렇지 않습니다 해당 기능 실행에 대한 권한을 확인하십시오 와 같은lastVal ().

보기,db_view : 확장확인하면 다른 필요한 권한이 확인됩니다 뷰에서 확장되는 객체에서 개별적으로.

함수,db_procedure : execute정의되었지만 그렇지 않습니다 이 버전에서 체크 됨.

클라이언트는 모든 참조 된 테이블에 액세스 할 수 있어야합니다. 그리고 열은 그런 다음 확장하여 일관된 액세스 제어를 적용합니다 테이블 내용 방식과 독립적 인 규칙 참조됩니다.

기본 데이터베이스 권한 시스템은 데이터베이스를 허용합니다 DML 명령을 사용하여 시스템 카탈로그를 수정하는 슈퍼 사용자 및 토스트 테이블을 참조하거나 수정하십시오. 이러한 작업은입니다 금지배트맨 토토IS 활성화.

F.38.5.3. DDL 권한

whenPostgreSQL : 문서 : 9.1 : 보안 스포츠 토토실행,setattrandRelabelfrom개체에서 확인됩니다 오래된 보안 레이블과 관련이있는 다음Relabelto제공된 새로운 보안 상표.

여러 레이블 제공 업체가 설치된 경우 그리고 사용자는 보안 레이블을 설정하려고하지만 관리Selinux, 만setattr여기에서 확인해야합니다. 이것 구현 제한으로 인해 현재 수행되지 않습니다.

F.38.5.4. 신뢰할 수있는 절차

신뢰할 수있는 절차는 Security Definer와 유사합니다 함수 또는 설정 uid 명령.Selinux허용 기능을 제공합니다 신뢰할 수있는 코드와는 다른 보안 레이블을 사용하여 실행됩니다. 일반적으로 제공 할 목적으로 고객의 민감한 데이터에 대한 고도로 제어되는 액세스 (예 : 행은 가능합니다 생략되거나 저장된 값의 정밀도는 줄인). 기능이 신뢰할 수있는 역할을하는지 여부 절차는 보안 레이블과 운영 체제 보안 정책. 예를 들어:

postgres =# 테이블 고객 만들기 (
               CID int 기본 키,
               cname 텍스트,
               신용 텍스트
           );
테이블을 만듭니다
Postgres =# 열 고객의 보안 레이블
               'system_u : object_r : 배트맨 토토_secret_table_t : s0';
보안 레이블
postgres =# function show_credit (int) 텍스트를 반환합니다
             'regexp_replace를 선택하십시오 (신용', '-[0-9]+$' ','-xxxx '', 'g' ')
                        CID = $ 1 '에서 고객에게서
           언어 SQL;
기능을 만듭니다
postgres =# function show_credit (int)의 보안 레이블
               'system_u : object_r : 배트맨 토토_trusted_proc_exec_t : s0';
보안 레이블

위의 작업은 An에 의해 수행되어야합니다 관리 사용자.

postgres =# 고객에서 선택 *;
오류 : SELINUX : 보안 정책 위반
Postgres =# 고객에서 CID, CNAME, SHOW_CREDIT (CID)를 선택하십시오.
 cid | cname |     show_credit
-----+--------+--------------------------
   1 | 타로 | 1111-222-3333-xxxx
   2 | 하나코 | 5555-6666-7777-xxxx
(2 줄)

이 경우 일반 사용자는 참조 할 수 없습니다customer.credit직접적이지만 신뢰할 수 있습니다 절차show_credit그를 허용합니다 고객의 신용 카드 번호를 일부로 인쇄하십시오. 숫자가 가려진다.

F.38.5.5. 여러 가지 잡다한

우리는를 거부합니다배트맨 토토 꽁 머니 : 문서 : 9.1 :로드명령 로드 된 모듈은 쉽게로드 될 수 있기 때문에 전반적으로 전반적으로 보안 정책 집행 우회.

F.38.6. 제한

데이터 정의 언어 (DDL) 권한

구현 제한으로 인해 DDL 권한 확인되지 않았습니다.

데이터 제어 언어 (DCL) 권한

구현 제한으로 인해 DCL 권한 확인되지 않았습니다.

로드 레벨 액세스 제어

배트맨 토토그렇지 않습니다 행 수준 액세스 지원; 그러므로,배트맨 토토지원하지 않습니다.

Covert 채널

배트맨 토토숨기려고하지 않습니다 사용자가 참조 할 수 없습니다. 예를 들어, 우리는 추론 할 수 있습니다 결과적으로 보이지 않는 대상의 존재 주요 주요 충돌, 외국의 주요 위반 등 물체의 내용을 얻을 수 없더라도. 그만큼 최고 비밀 테이블의 존재는 숨길 수 없습니다. 우리 만 그 내용을 숨길 수 있기를 바랍니다.

F.38.7. 외부 자원

SE-배트맨 토토 소개

이 위키 페이지는 간단한 개요, 보안을 제공합니다 디자인, 건축, 관리 및 다가오는 특징.

Fedora Selinux 사용자 안내서

이 문서는 광범위한 지식을 제공합니다 관리Selinuxon 당신의 시스템. 주로 페도라에 중점을 두지 만 그렇지 않습니다 페도라로 제한.

Fedora Selinux FAQ

이 문서는 자주 묻는 질문에 대한 답변Selinux. 중점을 둡니다 주로 페도라에서는 있지만 페도라에만 국한되지 않습니다.