언어 기반 에이전트 제어 (Language-Based Agent Control)

요약

본 논문은 에이전트 기반 애플리케이션을 위한 새로운 프로그래밍 모델인 언어 기반 에이전트 제어(LBAC)를 제시합니다. 이는 전통적인 소프트웨어 개발의 정적 타이핑 및 런타임 강제 기법을 활용하여, 에이전트가 생성하는 코드까지도 사용자가 정의한 보안 정책(접근 제어, 정보 흐름 등)을 준수하도록 보장하는 것이 핵심입니다. LBAC는 에이전트가 주변 스캐폴딩 코드의 맥락 내에서 잘 정의된 타입의 프로그램을 생성하게 함으로써, 애플리케이션 전체에 걸쳐 일관되고 강력한 보안 정책 적용 범위를 확장합니다.

핵심 포인트

• LBAC(Language-Based Agent Control)는 에이전트 기반 애플리케이션을 위한 새로운 프로그래밍 모델이다.
• 정적 타이핑과 런타임 강제를 활용하여, 에이전트가 생성하는 코드까지 보안 정책 준수를 보장한다.
• 에이전트는 주변 스캐폴딩 코드의 맥락 내에서 잘 정의된 타입의 프로그램을 생성하도록 요구받는다.
• LBAC는 파일 시스템 I/O 샌드박싱, 데이터 출처 추적, 정보 흐름 제어 등 다양한 보안 기능을 입증했다.