이 연구는 네트워크 엣지에서 자동 플래너(규칙 기반 컨트롤러, 학습된 정책, LLM 보조 에이전트 등)가 관측을 집행 행동으로 변환할 때, 문법적으로 유효한 출력만으로는 안전을 보장할 수 없다는 문제를 다룬다. 연구진은 플래너 출력과 커널 집행 입력 사이의 경계를 핵심 보안 객체로 취급하는 분리형 제어 구조를 제안했다. 신뢰되지 않은 플래너가 유형화된 보안 의도를 내보내면, 결정론적 거버너가 이를 안전성·자원·시간 안정성·비례성 불변식에 대해 검사하고, 승인된 행동만 서명된 영수증과 함께 사전 설치된 eBPF 맵 갱신으로 컴파일된다. 논문은 이 신뢰 경계 문제를 정형화하고 세 가지 위협 유형을 정의했으며, 대학 5G 테스트망에 연결된 라즈베리파이5 테스트베드에서 규칙 기반·LLM 보조 플래너를 대상으로 종단간 프로토타입을 시연했다. 거버너는 보호된 흐름의 규칙성을 방해하지 않으면서 마이크로초 단위 비용으로 의도를 승인·거부·제한했다.

• •네트워크 엣지 자동 플래너의 출력과 커널 집행 입력 사이 경계를 핵심 보안 객체로 다루는 분리형 제어 구조 제안
• •결정론적 거버너가 유형화된 보안 의도를 안전성·자원·시간 안정성·비례성 불변식으로 검사
• •승인된 행동만 서명된 영수증과 함께 사전 설치된 eBPF 맵 갱신으로 컴파일
• •라즈베리파이 5·대학 5G 테스트망 기반 종단간 프로토타입으로 규칙 기반·LLM 보조 플래너 모두 검증
• •보호된 흐름의 규칙성을 해치지 않으면서 마이크로초 단위 비용으로 의도를 승인·거부·제한함을 입증