Edge-IoT를 위한 계층적 보안 모니터링: 형식 검증 기법 접근 방식

edge-IoT 배포에서의 사이버 복원력은 근본적으로 경제적인 문제입니다. 탐지 시스템은 공격 하에서도 핵심 프로세스가 작동하도록 유지해야 하지만, 방어자 자원(컴퓨팅 능력, 대역폭, 운영자 주의)은 한계가 있습니다. 중앙 집중식 클라우드 모니터링은 표현력이 풍부한 교차 장치 탐지를 제공하지만, 엄청난 대역폭 비용이 발생합니다. 순수하게 edge-local 모니터링은 저렴하지만, 비대칭적 균형이 공격자에게 유리한 협력적인 다중 장치 공격에는 맹점을 가집니다. 우리는 형식 런타임 검증(formal runtime-verification) 기법을 기반으로 구축된 경량의 계층적 보안 모니터링 프레임워크를 제안하며, 이는 정량화된 비용에서 실질적인 중간 지점을 차지합니다. 각 edge 장치는 가벼운 TeSSLa 스트림 사양(크기, 페이로드 유효성, 비율 및 타임스탬프 드리프트 술어)을 실행하여, 이벤트당 서브 마이크로초 비용으로 집계 창마다 4가지 값의 판결을 내보냅니다. 게이트웨이는 장치별 판결 스트림에 대해 매크로초 단위의 매개변수화된 1차 논리 다항식(parametric first-order MonPoly) 모니터를 실행합니다. edge에서 gateway로 올라가는 업링크는 노드당 집계 창마다 대략 하나의 부울 값만을 전송하며, 이는 원시 패킷 스트림보다 수 배의 크기가 작습니다. 게이트웨이 계층은 단일 노드 모니터가 볼 수 없는 협력적 공격 패턴을 탐지하여, 비대칭적 비용 균형을 방어자 쪽으로 이동시킵니다. 모든 경고는 장치, 모니터 계층, 그리고 발동된 술어를 명명하는 증인 집합(witness set)을 포함하여, 결정에 대한 감사 가능한 기록을 제공합니다. 우리는 이 프레임워크를 네 가지 공격 클래스(버퍼 오버플로우, 시간 스푸핑, 서비스 거부, 혼합 고급 지속 위협 패턴)에 걸쳐 명목 노드와 공격자 노드를 아우르는 컨테이너-호스트 테스트베드에서 평가하고, 모니터 레벨이 추가됨에 따라 edge 및 gateway 계층 사양과 비용 대 커버리지 상충 관계를 설명합니다.