emiliaprotocol/emilia-protocol

해결하는 문제

EMILIA Protocol은 자율형 AI 에이전트가 엄격하고 검증 가능한 권한 없이 중대한 작업(거액 결제나 리포지토리 삭제 등)을 수행할 때 발생하는 보안 위험을 해결합니다. 인간이 승인한 후 에이전트가 요청된 작업(결제 금액이나 수신처 변경 등)을 무단으로 수정하는 것을 방지하여, 승인된 작업만이 정확하게 실행되도록 보장합니다.

작동 방식

이 프로토콜은 신원(누가 호출하는가)과 정책(일반적으로 무엇이 허용되는가)을 권한(에이전트가 수행할 수 있는 특정 작업)으로부터 분리합니다. 보호된 도구가 실행되기 전 제어점 역할을 하는 '게이트(Gate)' 메커니즘을 사용합니다.

1. 맨데이트(Mandate): 고객이 작업의 구체적인 제한 사항, 증거 요건, 만료 시간을 정의합니다.
2. 정확한 작업 바인딩(Exact Work Binding): 프로토콜은 요청의 특정 메서드, 대상 및 모든 실질적인 필드를 정규 객체로 바인딩합니다.
3. 검증 및 예약(Verification and Reservation): 의존 측이 증거를 검증하고 로컬 승인 결정을 내리며, 에이전트가 제공자 시스템에 진입하기 전에 권한을 예약합니다.
4. 실행(Execution): 시스템은 리플레이 공격이나 무분별한 재시도를 방지하기 위해 해당 승인 인스턴스에 대해 단 한 번의 제공자 시도만을 허용합니다.

대상 사용자

• AI 에이전트 개발자: MCP (Model Context Protocol) 또는 HTTP를 통해 민감한 비즈니스 시스템과 통합해야 하는 자율형 워커를 구축하는 개발자.
• 기업 보안 팀: AI 기반 작업에 대해 지속적이고 외부화된 권한 상태와 엄격한 감사 추적을 요구하는 조직.
• 소프트웨어 엔지니어: 기존 도구(LangChain 등)를 래핑하여 승인된 매개변수로만 호출되도록 보장하려는 개발자.

주요 특징

• 정확한 작업 바인딩: 승인을 특정 데이터 필드에 바인딩하여 '본 것에 서명한다'는 격차를 방지합니다.
• 형식 검증: Tamarin lemmas 및 Dolev-Yao 모델을 포함한 보안 사례를 통해 보안 주장을 증명합니다.
• MCP 통합: 선언된 중대한 작업을 보호하기 위한 전용 MCP 서버와 도구를 제공합니다.
• SDK: Python (LangChain) 및 JavaScript/TypeScript와 같은 언어를 위한 경량 SDK 래퍼를 제공합니다.
• 오픈 표준: 상호 운용성을 위해 IETF Internet-Drafts 포트폴리오를 기반으로 합니다.