사이버 방어를 위한 안정적인 에이전트 제어 아키텍처를 제시한다. LLM 에이전트가 스택엘버그 최선 응답, 베이지안 관찰자 업데이트, 공격 그래프 기본 요소 등 결정론적 도구를 사용하며 유한한 액션 카탈로그에서만 선택하는 도구 매개 아키텍처를 구축했다. 282개 실제 기업 공격 그래프 실험에서 Claude Sonnet 4 컨트롤러가 탐욕적 기준선 대비 공격자 기대 보상을 59% 감소시켰으며, Lean 4로 기계 검증된 Lyapunov 함수가 시스템의 제어 가능성·관찰 가능성·ISS 강건성을 인증했다.
- •도구 매개 아키텍처에서 LLM 에이전트는 결정론적 도구를 사용하고 유한한 액션 카탈로그에서만 선택한다.
- •Lean 4로 기계 검증된 복합 Lyapunov 함수가 제어 가능성, 관찰 가능성, ISS 강건성을 인증한다.
- •282개 실제 기업 공격 그래프에서 Claude Sonnet 4 콘트롤러가 공격자 기대 보상을 59% 감소시켰다.
- •Claude Haiku 4.5 콘트롤러도 카탈로그 경계를 유지하며 아키텍처 안정성이 콘트롤러 역량에 독립적임을 보였다.
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense
- 1.LLM 에이전트가 결정론적 도구를 구조화해 사이버 방어를 수행하는 도구 중개 아키텍처 제안
- 2.Claude Sonnet 4 컨트롤러가 282개 실기업 공격 그래프에서 공격자 기대 보수 59% 감소, 40맰 출력 분산 0
- 3.Lean 4로 기계 검증된 리야푸노프 함수로 안정성·관측 가능성·ISS 로버스트니스 증명
왜 중요한가?
고위험 사이버 방어 환경에서 LLM의 비결정론적 창의성을 활용하면서도 수학적으로 검증된 안정성을 보장하는 첫 아키텍처로, 군사·보안 운영 자동화의 신뢰성 기준을 높인다.
본문 미리보기
arXiv:2605.03034v1 Announce Type: new Abstract: Agentic systems involved in high-stake decision-making under adversarial pressure need formal guarantees not offered by existing approaches. Motivated by the operational needs of security operations centers (SOCs) that must configure endpoint detection and response (EDR) policies under adversarial pressure, we present a tool-mediated architecture: LLM agents use deterministic tools (Stackelberg best-response, Bayesian observer updates, attack-grap
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:12AI 초안
