이 논문은 자동화된 보안 결정에 대한 위험 인증이 아무 행동도 하지 않는 시스템에서도 성립될 수 있다는 '공허성 문제'를 지적하고, 이를 방지하는 '결정-계약 이론'을 제시한다. 오류를 유해 자동화, 인간 위임, 의미적 은폐 세 범주로 재분배하는 오류 보존 법칙과, 전부 기권하는 해법을 원천 배제하는 비퇴화 실행가능성 인증서를 개발했다. ATT&CK 기반 침입탐지 경보 분류에 이를 적용해 3개 IDS 데이터셋·6개 LLM·4개 오류율 임계값 조합의 90.3%에서 목표 위험 수준을 충족했고 평균 정확 자동화율은 83.4%를 기록했다. 이는 LLM 기반 보안 자동화 시스템이 실제로 유의미하게 작동하는지 검증하는 실용적 틀을 제공한다.

• •행동을 하지 않는 시스템도 위험 기준을 통과할 수 있는 '공허성' 문제를 구조적으로 규명
• •오류를 유해 자동화·인간 위임·의미적 은폐로 재분배하는 오류 보존 법칙 제시
• •전부 기권하는 해법을 배제하는 비퇴화 실행가능성 인증서 개발
• •3개 IDS 데이터셋, 6개 LLM, 4개 임계값 조합의 90.3%에서 목표 위험 충족, 평균 정확 자동화율 83.4%