Reactive 탐지 한계를 극복하는 Invariant 기반 Deterministic 검증 구조

Context

CSPM, SIEM 등 기존 Cloud Security 도구들이 알려진 패턴 기반의 Reactive 탐지 방식에 의존함에 따라 발생하는 구조적 공백 분석. Rule Library 기반의 Extensional 접근법으로 인한 신규 취약점 및 미정의 설정 오류 탐지 불가 문제 직면.

Technical Solution

• TRIZ의 Function-Failure Analysis(FFA)를 적용한 시스템 경계 및 구성 요소 간 Subject → Verb → Object 관계 분석
• 'Detect/Recognize' 중심의 사후 대응 로직을 'Verify' 중심의 사전 예방 구조로 전환
• 원인 분석(Cause) 없이 결과 상태(State)의 정적 속성만으로 판별하는 System Invariant 설계
• 배포 전 단계에서 기계적으로 검증 가능한(Machine-verifiable) Deterministic Verdict 메커니즘 도입
• Policy as Code의 Request 기반 제어를 넘어 전체 Graph 형태의 Resultant State를 검증하는 구조 채택
• 원인에 무관하게 항상 유지되어야 할 불변 속성(Invariant) 정의를 통한 미지의 위협 차단