기술 요약: 주변부 방출 시스템에서의 코릭 마스킹 (Choric Masking)

문제 정의

본 논문은 공공 시스템에서 형식적 비관측성(non-observation)과 실질적 가독성(readability) 사이의 간극을 다룬다. 많은 시스템은 가시적인 일련의 동작(진입, 대기, 교정, 전달)을 수행하는 동안 숨겨진 좌표(역할, 소속 또는 상태와 같은 "보호된 로커스(protected locus)")가 관찰되지 않은 상태로 유지될 것을 요구한다. 보호된 좌표가 공공 표면에 명시적으로 인쇄되지는 않지만, 타이밍, 반복, 주저함, 라우팅, 역할 불일치, 그리고 관중의 주의력 등에 의해 생성된 통계적 흔적(trace)은 숨겨진 로커스를 읽을 수 있게 만들 수 있다.

핵리 문제는 두 개의 숨겨진 로커스가 유한한 테스트 세트, 제한된 주의력 예산, 그리고 잠재적으로 적응형 응답 정책을 가진 관중에게 구별 불가능한 흔적 법칙(trace laws)을 유도하는지 여부를 결정하는 것이다. 본 논문은 전통적인 암호학적 구별 불가능성(프로토콜 트랜스크립트에 기반)과 차분 프라이버시(데이터베이스 큐레이터에 기반)가 "주변부 방출 시스템(ambient release systems)"—즉, 우려되는 채널이 공공의 안무(choreography) 그 자체인 경우—에는 불충분하다고 주장한다.

방법론

저자들은 볼록 기하학(convex geometry)과 유한 확률론에 기초한 **유한 흔적 계산법(finite trace calculus)**을 개발한다. 이 방법론은 다음의 기둥들에 의해 지탱된다:

1. 유한 단계 환경(Finite Staged Environments): 시스템은 숨겨진 로커스($\Theta$), 가시적 역할($R$), 상태 공간($S$), 행동($A$), 관측값($Y$), 그리고 특정 이력(history)에 대해 역할에 허용되는 행동을 규정하는 **노름 게이트(norm gate, $N$)**를 포함하는 튜플로 모델링된다.
2. 흔적 다면체(Trace Polytopes): 고정된 지평선 $T$에 대해, 특정 로커스에 의해 유도되는 모든 허용 가능한 공공 흔적의 집합은 볼록 다면체(코릭 헐(choric hull))를 형성한다. 이 헐은 특정 로커스를 마스킹하기 위해 사용 가능한 허용된 행동들의 "코러스(chorus)"를 나타낸다.
3. 측정 연산자로서의 관중(Audience as Measurement Operators): 관중은 전지전능한 관찰자가 아니라, 흔적에 적용되는 유한한 테스트 클래스($F_T$)로 정의된다. 시스템의 보안은 이러한 테스트 하에서 두 로커스의 투영된 다면체 간의 거리로 측정된다.
4. 주의 렌즈(Attention Lenses): 모델은 관찰자에게 도달하기 전 흔적을 희석하는 주의 렌즈(마르코프 커널)를 포함한다(예: 시선 제한, 체류 시간 또는 메모리 압축을 통해). 이는 커널 확장 문제로 취급되며, 여기서 잔여물(residue)은 전체 흔적에는 존재하더라도 투영된 공간에서는 사라질 수 있다.
5. 부채 및 압력 역학(Debt and Pressure Dynamics): 반복되는 상호작용을 위해, 논문은 코릭 리스크 부채(choric risk debt) 변수를 도입한다. 이는 국지화(localization)되지 못한 미해결 잔여물을 추적한다. 모델은 이 부채가 어떻게 "폭(breadth)"(더 많은 후보의 선택)과 "희석(dilution)"(후보당 감소된 주의력)을 유도하는지, 그리고 이것이 원래의 운반자(carrier)에 대한 위험을 반드시 증가시키지 않으면서 어떻게 작동하는지를 분석한다.

주요 기여

1. 코릭 마스킹과 비특이성(Non-Singularity)

본 논문은 코릭 마스킹을 단순한 보이지 않음이 아니라 비특이성으로 정의한다. 로커스는 그 흔적 법칙이 다른 로커스, 역할 또는 코호트들에 의해 생성된 허용된 흔적의 볼록 헐 내에(또는 근처에) 있을 때 마스킹된 것으로 간정된다.

• 정리 8.1 (측정-다면체 등가성): 유한한 관중에 대한 완벽한 마스킹은 흔적 법칙의 투영된 다면체들의 교집합과 동치이다.
• 정리 14.5 (볼록 코러스 정리): 두 로커스는 그들의 코릭 헐이 교차할 때에만 완벽하게 마스킹된다.

2. 구별 불가능성을 위한 유한 인증서(Finite Certificates)

이 계산법은 보안 주장에 대한 구성적이고 유한 차원적인 인증서를 제공한다:

• 분리 인증서(Separation Certificates): 마스킹이 실패할 경우, 두 로커스를 구별하는 분리 초평면(제한된 공공 점수)이 존재한다.
• 잔여물 정리(Residue Theorem, 정리 15.1): 누출이 존재한다면, 이를 운반하는 유한한 흔적 패턴(실린더 이벤트)이 존재한다. 누출은 신비로운 것이 아니라 구체적인 제스처에 의해 운반된다.
• 국지화 인증서(Localization Certificates): 논문은 잔여물을 탐지하는 것과 그것을 특정 레이어(예: 사람 vs 객체 vs 코호트)로 국지화하는 것을 구분한다. 잔여물은 탐지될 수 있으나, 그것이 여러 레이어 값의 측정 헐 내에 있다면 국지화되지 않을 수 있다.

3. 주의 및 구경 효과(Attention and Aperture Effects)

본 논문은 제한된 주의력이 보안을 어떻게 변화시키는지 정식화한다:

• 주의 필터링된 거리(Attention-Filtered Distance): 전체 흔적에서는 가시적인 잔여물이 제한된 관찰자에게는 사라질 수 있다. 정리 11.7은 **구경 경계(aperture bound)**를 제공하며, 관찰자의 시선이 진단적 좌표에 닿을 확률에 비례하여 인지된 잔여물이 결정됨을 보여준다.
• 분리 쌍(Split Pairs): 한 쌍의 법칙은 전체 흔적을 가진 관중에게는 노출될 수 있지만, 주의 필터링된 관중에게는 완벽하게 마스킹될 수 있다.

4. 방출 후 및 연결된 방(Linked Room) 역학

모델은 초기 게이트 이후에 발생하는 잔여물을 고려한다:

• 부담 유발 노출(Burden-Induced Exposure): 운반되는 객체나 상태는 하류의 "방(room)"에서 붕괴하거나 위험을 생성할 수 있으며, 이는 첫 번째 방이 마스킹되었더라도 미래의 스크립트를 좁히고 두 번째 노출 층을 생성한다(정리 21.9).
• 연결된 방 회계(Linked Room Accounting): 논문은 첫 번째 방의 잔여물과 연결 불일치(link discrepancy)를 구분하는 회계 규칙을 제공한다(정리 20.3).

5. 반복되는 미해결 압력과 부채

미해결 잔여물이 국지화되지 않는 반복적 상호작용에 대한 분석은 중요한 기여이다:

• 코릭 리스크 부채: 미해결 잔여물은 부채 변수($D_k$)로 축적된다.
• 외부화 삼분법(Externalization Trichotomy, 정리 18.20): 부채가 증가할 때, 시스템은 부채를 해소하거나, 근원을 국지화하거나, 혹은 위험을 외부화해야 한다.
• 전치된 위험 마스킹(Displaced-Risk Masking): 시스템이 근원을 국지화할 수 없는 경우, 부채를 관리하기 위해 선택의 폭(커버 셀 크기 $m_k$를 증가시킴)을 넓힐 수 있다. 이는 후보당 주의력을 희석시켜, 실제 운반자에 대한 위험은 낮추면서도 비운반자의 선택 확률(위양성)을 높일 수 있다. 정리 18.12는 국지화 없이 폭을 넓히는 것이 방의 압력이 상승함에도 불구하고 보장된 운반자 위험을 제로로 몰아넣을 수 있음을 증명한다.

결과 및 이론적 경계

• 고유 제스처 하한선 (정리 16.3): 만약 숨겨진 로커스가 타인이 충분한 질량으로 맞출 수 없는 제스처(이벤트)를 수행하도록 강요받는다면, 마스킹은 불가능하다. 노출 층은 도달 가능한 질량 구간의 간격에 의해 결정된다.
• 파노 유형 국지화 경계 (정리 8.6): 확률 $q$로 올바른 국지화를 보장하려면, 관측 채널은 상호 정보량 $I(\Sigma; Z) \ge q \log m - \log 2$를 운반해야 한다 (여기서 $m$은 커버 크기이다).
• 헬리 인증서 (정리 10.10): $k$개의 측정에 대해, 공통 마스크는 측정 헐의 $(k+1)$-차 간 교차(intersection)만을 확인함으로써 인증될 수 있다.
• 희석을 물리치기 위해 필요한 예산 (정리 18.14): 커버 셀 크기 $m$ 내의 모든 운반자에 대해 위험 $\zeta$를 보장하려면, 주의력 예산은 $m$에 선형적으로 비례하여 증가해야 한다.

의의 및 주장

본 논문은 공공 지향적 시스템을 감사하기 위한 유한하고, 검사 가능하며, 구성 가능한 프레임워크를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 프라이버시의 운용화: 점근적 슬로건을 넘어, 제한된 관중이 무엇을 추론할 수 있는지에 대한 유한한 지평의 주장을 제시한다.
2. 개념의 분리: 잔여물의 부재, 구경 외부의 잔여물, 그리고 커버 인구로 전치된 잔여물을 엄격히 구분한다.
3. 감사 가능성: 모든 마스킹 주장은 유한한 증거(결합 또는 헐 교차)를 가지며, 모든 노출 주장은 공공 운반체(분리 테스트)를 가진다.
4. 제도적 설계: "부채 정리"는 감사 도구 역할을 하며, 국지화 인증서 없이 미해결 잔여물에 대해 광범위하게 대응하는 것은 단지 원래의 위협을 해결하지 못한 채 커버 인구에게 위험을 외부화할 뿐임을 보여준다.

저자들은 이 이론이 악의나 죄를 가정하는 것이 아니라, 흔적 법칙의 통계적 분리에 초점을 맞추고 있다고 단언한다. 이 계산법은 방이 잔여물을 귀속시킬 수 있는지, 그리고 귀속시킬 수 없다면 그것이 전치된 것임을 인식할 수 있는지를 인증하도록 설계되었다. 논문은 시스템이 안전하기 위해서는 가시적인 문법이 충분한 커버를 제공하고, 관중 모델이 실제로 인지되는 바를 정확하게 반영할 때뿐이라고 결론짓는다.