기술 요약: 연속성 증명(Proof-of-Continuity): 분산 시스템 및 AI 에이전트를 위한 권한 전파의 시간적 모델

1. 문제 정의

본 논문은 현재의 인가 모델, 특히 소유 증명(Proof-of-Possession, PoP) 및 역량 기반(capability-based) 시스템이 이산적인 다단계 실행 체인(예: 분산 서비스, AI 에이전트의 도구 호출)에 적용될 때 발생하는 근본적인 한계를 식별한다.

PoP 모델에서 권한은 산출물(토큰, 자격 증명, 역량)의 소유로부터 파생된다. 이러한 모델은 누가 산출물을 제시할 수 있는지를 효과적으로 제한하지만, 후속 단계에서 행사되는 권한이 요청의 기점(origin)에서 설정된 권한 컨텍스트의 **인과적 연속(causal continuation)**임을 보장하지는 못한다.

이러한 간극는 분산 환경에서의 혼동된 대리인(Confused Deputy) 문제를 야기한다. 대리인(실행자)은 여러 권한 소스(주변 권한, 위임된 토큰, 소지 중인 자격 증명)를 보유할 수 있다. 만약 대리인이 요청을 처리하는 과정에서, 요청의 기원 권한 컨텍스트에는 포함되지 않았으나 자신이 보유하고 있는 권한을 요청의 파라미터에 근거하여 행사하게 된다면 보안 위반이 발생한다. 이때 대리인은 "혼동"된 상태가 된다. 즉, 대리인은 해당 동작을 수행할 권한이 없는 사용자에 의해 인과적으로 유발된 동작을 수행하였으나, 대리인 스스로는 독립적으로 그 권한을 보유하고 있었기 때문이다.

본 논문은 소유 기반 모델이 **계보 불변적(lineage-invariant)**이라고 주장한다. 즉, 이 모델은 이벤트 $(o, r)$ (리소스 $r$에 대한 동작 $o$)를 유효한지 판단할 때, 해당 이벤트를 생성한 시간적 계보 $\ell$을 무시하고 오직 권한의 소유 여부만을 기준으로 삼는다. 결과적으로, 이 모델은 유효한 연속된 계보와 단순히 동일한 권한을 소유하고 있을 뿐인 승인되지 않은 실행을 구분할 수 없다.

2. 방법론 및 모델 정의

저자들은 이러한 시간적 간극을 해결하기 위해 계보 정체성 연속성(Provenance Identity Continuity, PIC) 모델과 연속성 증명(Proof-of-Continuity, PoC) 규율을 도입한다.

핵심 형식론

• 실행 체인(Execution Chain): 실행은 인과적 단계들의 체인 $\pi = \langle (s_0, C_0), (s_1, C_1), \dots, (s_n, C_n) \rangle$로 모델링된다. 여기서 $s_i$는 단계이며, $C_i$는 해당 단계에서 운반되는 권한 컨텍스트(권한 $O \times R$의 부분집합)이다.
• 관계 증명(Proof of Relationship, PoR): 단일 홉(single-hop) 인과 프리미티브이다. $PoR(s_i, s_{i+1})$은 단계 $s_{i+1}$이 동일한 계보 내에서 $s_i$의 유효한 인과적 연속임을 단언한다.
• 단조적 권한 제한(Monotonic Authority Restriction): 유효한 전이를 위해서는 다음 단계의 권한 컨텍스트가 현재 단계의 컨텍스트의 부분집합이어야 한다: $C_{i+1} \subseteq C_i$. 권한은 오직 감축(attenuation)될 수 있을 뿐, 확장될 수 없다.
• 연속성 증명(Proof of Continuity, PoC): 전체 체인에 걸친 PoR과 단조적 제한의 이행적 합성(transitive composition)으로 정의된다. $PoC(\pi)$는 모든 인접한 전이가 유효할 때 성립한다.

이론적 프레임워크

저자들은 투영(projection) 논증을 통해 **소유(Possession)**와 **연속성(Continuity)**의 차이를 공식화한다.

• 소유 기반 정책은 계보에 대해 불변인 함수로 정의된다: $A(o, r, \ell) = \bar{A}(o, r)$. 이는 이벤트 공간 $E = O \times R \times L$을 $O \times R$로 투영하여 계보 좌표 $L$을 누락시킨다.
• 정리 3: 계보 불변 정책은 개별 발생 건을 구별할 수 없다. 동일한 권한을 가졌더라도 계보가 다른 두 이벤트(하나는 승인된 계보, 하나는 혼동된 대리인 사례)에 대해 동일한 권한 판정을 내린다.
• 정리 5 (트레이드오프): 시스템은 다음 세 가지를 동시에 만족할 수 없다:
  1. 계보 불변적 인가.
  2. 권한 혼합이 가능한 위임(독립적인 권한 소스를 가진 실행자).
  3. 혼동된 대리인으로부터의 안전성.
     권한 혼합이 필요한 시스템에서 안전성을 확보하려면, 모델은 계보 불변성을 포기하고 인가를 **계보 민감적(lineage-sensitive)**으로 만들어야 한다.

3. 주요 기여

1. 연속성 증명(PoC): 권한을 정적인 속성이 아니라 실행 체인의 시간적 속성으로 정의하는 최소한의 권한 전파 규율이다. 권한은 오직 기점 컨텍스트의 비확장적 연속으로서만 존재한다.
2. 계보 불 mismatch로서의 혼동된 대리인 재정의: 본 논문은 혼동된 대리인 문제를 단순히 지정(designation)과 권한(authority)의 분리(역량 모델의 공간적 관점)가 아니라, 시간을 망각하는 투영 하에서 발생하는 서로 다른 계보 간의 충돌로 재정의한다.
3. 불가능성 결과:
   • 정리 3: 계보 불변의 소유는 유효한 연속과 혼동된 대리인 실행을 구분할 수 없음을 증명한다.
   • 정리 6: PIC 모델 하에서, 혼동된 대리인 조건은 유효한 동작으로서 성립하는 것이 불가능함을 증명한다. 만약 어떤 권한이 기점 컨텍스트 $C_0$에 존재하지 않는다면, 유효한 PoC 체인 내의 그 어떤 후속 컨텍스트 $C_n$에도 나타날 수 없다.
4. 프리미티브의 구분: 다음의 역할을 명확히 한다:
   • 소유 증명(Proof-of-Possession): 산출물에 대한 통제권을 증명한다.
   • 관계 증명(Proof-of-Relationship): 인접한 단계 간의 인과적 연결을 증명한다.
   • 연속성 증명(Proof-of-Continuity): 전체 계보에 걸쳐 권한의 확장이 없는 전파를 증명한다.

4. 결과 및 안전 보장

주된 결과는 PIC 모델의 안전성이다. Proof-of-Continuity 하에서:

• 기점 제한 권한(Origin-Bounded Authority): 홉 $n$에서 행사되는 모든 권한은 반드시 기점 권한 컨텍스트 $C_0$에 존재했던 것이어야 한다.
• 가역 불가능한 감축(Irreversible Attenuation): 만약 어떤 홉 $j$에서 권한이 탈락된다면(즉, $C_j$에 포함되지 않는다면), 해당 권한은 영구히 상실되며 이후의 홉 $k > j$에서 다시 나타날 수 없다.
• 혼동된 대리인 제거: 이 모델은 구조적으로 혼동된 대리인 조건을 방지한다. 실행자는 요청의 기점 컨텍스트에 해당 권한이 승인되지 않았다면, 설령 자신이 별도의 권한을 보유하고 있더라도 해당 요청에 의해 유발된 동작을 수행할 수 없다.

본 논문은 이러한 안전성이 계보 불변성을 포기함으로써 달성됨을 보여준다. 인가 결정은 (PoR 증거를 통해) 계보 좌표를 읽어 들여, 해당 동작이 유발된 요청의 유효한 연속인지 판단해야 한다.

5. 의의 및 범위

본 논문은 Proof-of-Continuity를 기존의 OIDC, 월렛, 또는 베어러 토큰과 같은 메커니즘을 대체하는 것이 아니라, **모델링의 정교화(modeling refinement)**로 위치시킨다.

• 상호 보완성: 정체성 및 인증 메커니즘은 기점을 설정하는 데 필수적이다. PoC는 기점이 설정된 이후 권한이 어떻게 전파되는지를 다룬다.
• AI 에이전트에 대한 관련성: 이 모델은 특히 AI 에이전트에게 매우 중요하다. 에이전트는 흔히 다수의 권한 소스(서비스 자격 증명, 사용자 토큰, 도구 스코프)를 보유하며 도구 호출의 체인을 실행하기 때문이다. PoC는 사용자의 원래 의도(예: 문서 요약)가 특정 동작(예: 파일 삭제)을 승인하지 않았다면, 에이전트가 독립적으로 삭제 권한을 가지고 있더라도 해당 도구를 사용하여 동작을 수행하는 것을 방지한다.
• 시간적 vs 공간적: 본 논문은 역량(capability) 모델이 지정의 공간적 문제를 해결할 수는 있지만, 역량을 보유한 산출물로 취급할 경우(이는 다시 소유로 회귀함) 다단계 전파라는 시간적 문제를 해결하지 못한다고 주장한다. PoC는 권한을 연속적이고 비확장적인 흐름으로 취급함으로써, 다단계 계보에 걸쳐 역량의 "설계에 의한(by-construction)" 보장을 확장한다.

결론적으로, 본 논문은 혼동된 대리인이 패치해야 할 런타임 취약점이 아니라, 유효한 PIC 실행 내에서는 구조적으로 성립할 수 없는 상태임을 밝힌다. 이 모델은 권한의 정의를 엄격하게 그 인과적 이력에 종속시킴으로써, 관리의 부담을 런타임의 경계 감시에서 인과적 이력에 의한 규율로 전환한다.