SPEAR은 네트워크 강화를 위한 새로운 형식적 프레임워크 및 도구를 제시합니다. AI 계획의 인과적 형식론을 사용하여 네트워크 시스템의 취약성과 구성을 모델링하고, 네트워크 구성 및 취약성 설명을 PDDL(Planning Domain Definition Language)로 표현된 계획 모델로 자동 변환합니다. SPEAR는 다양한 보안 강화 전략을 식별하고, 도메인 전문가가 이해할 수 있는 방식으로 제시하여 네트워크 강화 솔루션 공간을 체계적으로 탐색하고, 다양한 솔루션의 영향을 평가하고 비교할 수 있도록 지원합니다. 기존의 그래프 기반 프레임워크가 가진 네트워크 연결 매개변수 통합, 불완전한 정보 하에서의 추론, 시스템 관리자를 위한 이해 가능한 형식의 제안 제공, 다양한 시나리오 및 공격자 동기에 대한 가정 분석 등의 한계를 극복하고자 합니다.