Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
Author
- Haebom
Category
Empty
저자
Alan L. McCann
💡 개요
본 논문은 인지 워크플로우 시스템에서 실행 시간에만 적용되던 거버넌스 정책을 구조적인 경계로 전환하는 인증된 순수성 아키텍처를 제안합니다. 기존의 3계층 거버넌스 아키텍처는 모듈의 순수성 제약 조건(단계 실행자가 부작용을 일으킬 수 없음)을 가정했지만, 이는 BEAM 가상 머신에서의 적대적 우회에 취약했습니다. 본 연구는 WebAssembly 컴파일 타겟 제한, 암호학적 서명을 통한 순수성 인증서, 런타임 검증 게이트, 원격 증명을 통한 휴대 가능한 거버넌스 자격 증명 도입으로 이 간극을 메웁니다.
🔑 시사점 및 한계
•
신뢰할 수 있는 워크플로우 실행 보장: 제안된 아키텍처는 실행 파일 자체에 대한 암호학적 증명을 통해 워크플로우 단계의 예상치 못한 부작용 발생 가능성을 구조적으로 제거하여 신뢰성을 크게 향상시킵니다.
•
적대적 우회 공격에 대한 강력한 방어: WebAssembly 컴파일 타겟 제한 및 런타임 검증 게이트를 통해 BEAM 가상 머신 수준의 다양한 우회 공격으로부터 시스템을 효과적으로 보호합니다.
•
광범위한 적용 가능성 및 효율성: 제로 런타임 오버헤드와 낮은 검증 지연 시간을 입증하며, 복잡한 인지 워크플로우 시스템에 적용 가능하고 효율적인 검증 메커니즘을 제공합니다.
•
신뢰 컴퓨팅 기반(TCB)에 대한 의존성: 제안된 증명 체계는 명시적으로 정의된 신뢰 컴퓨팅 기반(TCB)에 의존하므로, TCB 자체의 안전성과 신뢰성이 전체 시스템의 신뢰성에 직접적인 영향을 미칩니다.
