위협 모델 — 신뢰 경계와 공격자

⚠️ 이 문서는 감사 커밋 7d60c82 시점의 스냅샷이다. 이후 Critical 5건과 High 8건(4건 수정 · 4건 부분)이 반영되었으므로, 여기 서술된 결함 중 일부는 현재 코드에 더 이상 존재하지 않는다. 현재 상태는 10_fixed.md 를 볼 것.

이 문서가 답하는 질문

• 이 시스템의 신뢰 경계는 어디에 있는가?
• 보호해야 할 자산은 무엇인가?
• 어떤 공격자를 상정하는가? 상정하지 않는 공격자는 누구인가?
• 각 진입점은 어느 수준까지 신뢰되는가?

1. 신뢰 경계 (사실)

flowchart TB
    subgraph UNTRUSTED["신뢰 경계 밖 — 인증되지 않은 네트워크"]
        BROWSER["브라우저 / 임의의 웹 페이지"]
        DRIVER["Neo4j 드라이버 (Bolt 클라이언트)"]
        ATTACKER["임의의 TCP 클라이언트"]
    end

    subgraph HOST["호스트 프로세스 경계"]
        STUDIO["portal/server/index.js<br/>Node.js :7474<br/>0.0.0.0 바인드 · 인증 없음"]
        BOLTGW["bolt/ ontological-bolt<br/>Rust :7687<br/>0.0.0.0 바인드 · TLS 없음"]
    end

    subgraph PG["PostgreSQL 백엔드 프로세스 경계 = 최종 신뢰 경계"]
        subgraph EXT["ontological.so (cdylib, 같은 주소 공간)"]
            CYPHER["cypher/compile.rs<br/>Cypher → SQL"]
            TYPEQL["typeql/compile.rs<br/>TypeQL → SQL"]
            STORAGE["storage/ · catalog/<br/>동적 DDL"]
            CSR["storage/traverse.rs<br/>백엔드 로컬 CSR (Rust heap)"]
            GENAI["compat/genai.rs<br/>유일한 아웃바운드"]
        end
        PLANNER["PostgreSQL 플래너 / 실행기"]
        RLSGATE["RLS 정책 평가"]
        HEAP[("og_data.* · og_catalog.*<br/>힙 릴레이션")]
    end

    subgraph OUT["외부 서비스"]
        EMB["임베딩 엔드포인트<br/>genai.endpoint"]
    end

    BROWSER -->|"HTTP · 인증 없음 · CSRF 방어 없음"| STUDIO
    ATTACKER -->|"HTTP POST /api/sql · 임의 SQL"| STUDIO
    DRIVER -->|"Bolt 4.4 평문 · 자격증명 평문"| BOLTGW
    ATTACKER -->|"인증 전 PackStream 파싱"| BOLTGW

    STUDIO -->|"pg Pool · PGUSER=dev · NoTLS"| PG
    BOLTGW -->|"postgres NoTls · HELLO 자격증명 위임"| PG

    CYPHER --> PLANNER
    TYPEQL --> PLANNER
    PLANNER --> RLSGATE
    RLSGATE --> HEAP
    STORAGE -->|"SPI · ALTER TABLE / CREATE VIEW"| HEAP
    CSR -.->|"RLS 우회 · 스냅샷 동결"| HEAP
    GENAI -->|"HTTP(S) · Bearer 토큰"| EMB

    classDef bad fill:#3a1414,stroke:#c04040,color:#f0d0d0
    classDef warn fill:#3a2a14,stroke:#c08040,color:#f0e0d0
    class STUDIO,BOLTGW bad
    class CSR,GENAI warn

경계 판정 (사실)

2. 자산 (사실)

3. 공격자 모델

3.1 상정하는 공격자 (In scope)

3.2 상정하지 않는 공격자 (Out of scope)

• PostgreSQL 슈퍼유저. 슈퍼유저는 정의상 모든 경계를 넘는다. CREATE EXTENSION 자체가 슈퍼유저를 요구한다(engine/ontological.control trusted = false).
• 호스트 OS 루트 / 컨테이너 탈출.
• PostgreSQL 자체의 0-day.
• 물리 접근 및 저장 매체 탈취 (디스크 암호화는 이 시스템의 책임이 아니다).
• 공급망 공격 (의존성 CVE 스캔은 미수행 — 00_index.md "미확인" 참조).

4. 진입점별 신뢰 수준 (사실)

5. STRIDE 요약 (감사 결과 기준)

6. 결정 (Decisions)

이 문서가 결정한 것 — 코드가 아니라 이 문서가 정한 정책이다.

TM-D1~D4는 이 문서의 판단이지 코드에 박힌 사실이 아니다. 코드나 README.md에 "로컬 전용"이라는 문구는 존재하지 않는다 (확인함: README.md:190은 http://localhost:7474를 안내할 뿐 제약을 선언하지 않는다).

Forbidden (금지)

• Studio 포트(:7474)를 공개 인터페이스나 리버스 프록시 뒤에 노출하지 말 것. 인증이 전혀 없고 임의 SQL 엔드포인트가 열려 있다(portal/server/index.js:296-308).
• Bolt 포트(:7687)를 공용 네트워크에 노출하지 말 것. TLS가 없어 PostgreSQL 자격증명이 평문으로 흐른다(bolt/src/session.rs:169-182).
• 최종 사용자 입력을 og_vector_search의 filter, og_enable_rls의 policy_expr, og_map_table의 source_table/id_column에 전달하지 말 것.
• og_catalog.* 테이블에 애플리케이션 역할의 UPDATE/INSERT 권한을 주지 말 것. 이 테이블들의 값이 동적 SQL로 보간된다(04 SEC-20).
• 슈퍼유저 역할로 애플리케이션을 접속시키지 말 것. RLS는 FORCE 없이는 테이블 소유자에게 적용되지 않는다(03).

Required (필수)

• 새 진입점(포트·HTTP 라우트·#[pg_extern])을 추가하면 §4 표에 행을 추가할 것.
• 공격자 능력이 바뀌면(예: Studio에 인증 도입) §3 표와 TM-D1~D4를 재검토할 것.
• 이 문서의 mermaid 다이어그램은 bolt/src/main.rs, portal/server/index.js, engine/src/compat/genai.rs 중 하나가 바뀌면 함께 갱신할 것.