OT 시스템 침해 대응 전략 학습
운영 기술(OT) 시스템의 침해 대응 전략을 위한 부분 관측 가능 마르코프 결정 과정(POMDP) 모델을 제안하고, PPO 기반 학습 방법을 통해 효과적인 대응 전략을 개발했다. 실증 평가에서 여러 MITRE 공격에 효과적임을 보였다.
이 연구는 OT 시스템 침해 대응 자동화에 학습 기반 접근법을 제안하여, 실무에서 보다 효율적인 대응 전략을 개발할 수 있다.
OT 시스템침해 대응POMDPPPO
RESEARCH
연구·리포트 참고 자료
AutoTrans: RISC-V 프로세서 보안 어설션의 AI 지원 자동 번역
RISC-V 프로세서의 보안 어설션을 자동 번역하는 AutoTrans 프레임워크를 제안한다. 정규 표현식 기반 시스템 베리로그 신호 추출기와 템플릿 기반 프롬프트를 통해 신호 환각을 방지하고, JasperGold FPV를 통합하여 생성된 어설션의 정확성을 보장한다. 78% 자동 번역 수용률(TAR)을 달성했으며, 인간 개입 후 100% 최종 TAR를 달성했다.
RISC-V 프로세서 보안 검증 과정에서 보안 어설션의 자동 번역을 통해 시간과 비용을 절감할 수 있다.
RISC-V보안 어설션자동 번역AI 지원
DAG 기반 분산 원장 시스템의 분산 네트워크 혼잡 제어
DAG 기반 분산 원장 기술(DLT) 네트워크에서 분산 네트워크 혼잡 제어를 위해 노드별 가변 및 행동 기반의 프루프-오브-워크(PoW) 모델을 제안한다. 이 모델은 트랜잭션 스팸ming을 방지하고, 노드가 규정된 트랜잭션 수를 초과하는 경우 벌금을 부과하여 네트워크 지배를 방지한다.
이 연구는 DAG 기반 DLT 네트워크에서 트랜잭션 스팸ming을 효과적으로 제어할 수 있는 새로운 PoW 모델을 제시하여, 분산 네트워크의 안정성과 공정성을 향상시킬 수 있다.
분산 원장 기술DAG네트워크 혼잡 제어PoW
자동차 SDN을 통한 경량 제로 트러스트
기존 자동차 네트워크는 설정 후 접근 제어가 어려운 문제를 해결하기 위해 제로 트러스트 아키텍처(ZTA)를 적용하려는 시도가 있었으나, 추가 인프라가 필요했다. 연구팀은 기존 SDN 관리 평면을 활용해 ZTA 원칙을 충족하는 두 가지 메커니즘을 제안한다.
이 연구는 자동차 네트워크 보안 강화를 위해 기존 인프라를 최대한 활용하는 방식을 제시하여, 제로 트러스트 아키텍처의 실용성을 높이는 데 기여할 수 있다.
제로 트러스트 아키텍처(ZTA)자동차 SDN네트워크 보안
Dempster-Shafer 이론을 활용한 IIoT 센서 노드 중요도 평가
IIoT 센서 노드의 중요도를 데이터 중요도와 보안 취약점을 결합해 평가하는 새로운 프레임워크를 제안한다. 레드와인 생산 데이터를 사용한 검증 결과, CVSS 4.0 기반 보안 취약점 점수로 산출한 중요도 순위가 CVSS 3.1 기반 순위와 유의미하게 차이난다.
IIoT 환경에서 센서 노드의 중요도를 데이터와 보안 측면에서 통합적으로 평가하는 방법을 실무에 도입할 수 있다.
IIoTDempster-Shafer 이론센서 노드보안 취약점
변경되지 않은 TLS 서비스의 기밀 가상 머신을 위한 세션 증명
기존 서비스를 신뢰할 수 있는 실행 환경으로 마이그레이션하는 기밀 가상 머신에서 네트워크 연결 증명을 위해 애플리케이션, TLS 구현 또는 인증서 변경이 필요하지 않은 방안을 제안한다. Linux와 Windows에서 구현하고 Hygon CSV를 대상으로 평가하여, 짧은 업로드 평균 지연 시간을 TNG 대비 63.1%/23.0% 감소시킨다.
기존 기밀 서비스의 데이터 경로에 영구 프록시를 추가하지 않고도 세션 증명을 강화할 수 있다.
기밀 가상 머신TLS세션 증명SessionLatch
재정렬 공격 하의 Byzantine 합의 확장성
Byzantine 합의(BA) 프로토콜의 다중 인스턴스 실행 시 보안 분석을 위해 새로운 적대자 모델을 제안하고, 통신 채널 공격을 고려한 보안 임계값을 수립했다. n ≤ 3t 또는 n ≤ 2c + 2t + 1일 때 인증된 BA 프로토콜이 병렬 실행에서 보안을 유지할 수 없음을 보였다.
분산 시스템 설계 시 통신 채널 공격을 고려한 Byzantine 합의 프로토콜의 보안 임계값을 확인해야 한다.
Byzantine 합의재정렬 공격보안 임계값분산 시스템
자원 제약 하의 보안 보장: 커버리지, 검증 및 대응
자원 제약 하에서 보안 보장 작업의 반복 시도와 커버리지, 증거 검증, 대응 모델을 분리한 이론적 프레임워크를 제안한다. 반복 시도의 커버리지 계산식과 유한 예산 관찰의 한계를 분석한다.
자원 제약 환경에서 보안 보장 전략을 설계할 때 이론적 기반을 제공한다.
보안 보장자원 제약커버리지증거 검증
Guppy: 재귀적 제로지식 증명을 통한 효율적인 라이트 클라이언트
Guppy는 블록체인의 전체 상태를 유지하지 않고도 효율적인 포함 증명을 지원하는 프로토콜로, 재귀적 제로지식 증명(ZKPs)을 활용한 해시체인 커밋먼트와 병렬 재귀 증명 파이프라인을 설계하였다. Plonky2 기반의 구현을 통해 2^30 크기의 머클 트리를 유지하면서 초당 수천 개의 업데이트를 처리할 수 있으며, 지연 시간은 2-4초로 나타났다.
Guppy는 블록체인 검증 과정에서 검증자 부담을 줄이고, 높은 처리량을 유지할 수 있는 새로운 프로토콜로, 고성능 블록체인 시스템의 설계에 참고할 수 있다.
라이트 클라이언트제로지식 증명블록체인Merkle 트리
이벤트 세마틱 문제(event-semantic issue) 탐지 도구 EventSpec
블록체인 스마트 계약의 이벤트 세마틱 문제를 정의하고 탐지하는 방법을 제안하고, 이를 EventSpec이라는 도구로 구현해 6,617개 실제 계약에 적용해 90.17%의 정밀도를 달성했다. 오프체인 공격 벡터를 재현하는 허네스를 통해 브리지 리레이어, 블록체인 탐색기, NFT 마켓플레이스에서 공격 가능성을 입증했다.
이 연구는 블록체인 스마트 계약의 이벤트 세마틱 문제를 탐지하는 새로운 접근법을 제시해, 오프체인 시스템의 보안을 강화할 수 있다.
이벤트 세마틱 문제스마트 계약블록체인EventSpec
패러다이스의 그리드 문제: 취약한 분산 에너지 자원과 그 그리드 수준 위험
태양광 분산 에너지 자원(DERs)의 인터넷 노출과 취약점을 평가하고, 이를 통해 전력망에 미칠 수 있는 위험을 분석했다. 66,000개 이상의 인터넷 노출 DERs 중 10,000개 이상이 알려진 CVE를 포함하고 있으며, 이를 악용하면 전력 품질 저하에서 정전까지 다양한 영향을 줄 수 있음을 보였다.
태양광 시스템의 인터넷 노출 취약점이 전력망 운영에 실질적 위협이 될 수 있으므로, 보안 강화와 모니터링이 필요하다.
분산 에너지 자원전력망 보안CVE전력 품질
보안 소프트웨어 기반 다중 도메인 데이터 분리(SoK)
소프트웨어 기반 다중 도메인 데이터 분리(MDDS)의 보안 문제를 체계적으로 검토하고, 네트워크 슬라이싱과 분리 커널 등 구조적 패턴을 분석했다. 퀀텀 컴퓨팅의 위협에 대응하기 위한 포스트 퀀텀 암호(PQC) 적용 방안을 제시한다.
이 연구는 소프트웨어 기반 통신 시스템의 보안 설계에 실질적인 지침을 제공하며, 향후 고보안 요구 환경에서의 적용 가능성을 제시한다.
소프트웨어 기반 보안다중 도메인 분리네트워크 슬라이싱분리 커널
사이버보안 지식 그래프 구축과 자연어 질의
보안 취약점 정보를 통합하고 구조화하기 위해 지식 그래프를 구축하고, 자연어로 질의할 수 있는 방법을 제안한다. Neo4j를 사용한 지식 그래프는 NVD 데이터를 기반으로 하며, 자연어 질의를 Cypher로 변환하는 인터페이스를 통해 접근성을 높인다.
이 연구는 보안 전문가가 아닌 사용자도 쉽게 취약점 정보를 탐색할 수 있도록 도와줄 수 있다.
지식 그래프자연어 처리취약점 관리Neo4j
이미지 센서의 전자기 신호 주입 공격 탐지
이미지 센서에 전자기 신호 주입 공격(Electromagnetic Signal Injection Attack, ESIA)을 가한 경우를 탐지하는 경량형 방법을 제안한다. 다양한 공격 조건에서 ROC-AUC 99.6%, EER 0.027의 성능을 보인다.
이 연구는 이미지 센서 기반 시스템의 전자기 신호 주입 공격을 효과적으로 탐지할 수 있는 실용적인 방안을 제공한다.
이미지 센서전자기 신호 주입 공격경량형 탐지보안
쿼리 가능한 그래프 기반 O-RAN 보안 분석 프레임워크
O-RAN 보안 평가를 위해 수십 개의 명세서와 논문을 수동으로 확인하는 과정을 그래프 기반 데이터베이스로 자동화했다. 350개 이상의 노드와 1,250개 이상의 관계를 포함하는 데이터베이스를 구축했으며, 메모리 안전 취약점이 분석한 CVE의 11개 중 21개를 차지하는 등 3가지 실용적 결과를 도출했다.
O-RAN 보안 평가를 위한 오픈소스 그래프 기반 프레임워크를 제공하여 보다 효율적이고 실시간적인 보안 분석이 가능해진다.
O-RAN보안 분석그래프 기반 프레임워크CVE
WAPP: 실시간 트래픽에서 긍정적 보안 정책 학습
WAPP는 악성 요청이 학습 데이터를 오염시키는 것을 방지하기 위해 신뢰 필터링, 결정론적 규칙 합성, 신뢰도 점수, 검증을 결합한 프레임워크를 제안한다. 평가 결과, 0.2% 오염 트래픽에서 기능이 저하되고 0.5%에서는 완전히 손상되며, 결정론적 합성기는 모델 추론 비용 없이 공격 차단 성능을 제공한다.
WAPP는 실시간 트래픽에서 안전하게 긍정적 보안 정책을 학습할 수 있는 프레임워크로, 기존 방어 방식의 한계를 보완할 수 있다.
WAPP긍정적 보안 정책Web Application Firewall실시간 트래픽
전력 소모 최소화를 위한 하드웨어 정보 흐름 추적 기법 (CEGAR-T)
보안 테스트를 위해 하드웨어 설계에 탐염 로직을 추가하는 기법에서 발생하는 오버헤드를 줄이기 위해 CEGAR-T라는 프레임워크를 제안한다. CEGAR-T는 기존 CellIFT 기준 대비 기하 평균 1.42배와 1.79배로 오버헤드를 줄였다.
하드웨어 보안 테스트 시뮬레이션의 효율성을 높이기 위해 CEGAR-T를 도입할 수 있다.
하드웨어 보안정보 흐름 추적CEGAR-TRISC-V
신뢰 영역의 연합: DLT 기반 거버넌스로 산업 IAM 확장
AI 에이전트와 미래 모바일 네트워크에서 비인간 엔티티 간 자율적 상호작용을 위한 신뢰 확립 문제를 해결하기 위해 SPIRE와 같은 기존 IAM 접근법을 분산 원장 기반으로 확장하는 방법을 제안한다. SPIFFE 인증 문서를 기반으로 토큰 교환, 원격 증명, 분산 원장 계층을 추가하여 기존 시스템의 한계를 극복한다.
이 연구는 기업 간 자율적인 시스템 상호작용을 위한 신뢰 관리 프레임워크를 설계할 때 분산 원장 기반의 IAM 확장 방안을 고려할 필요가 있음을 시사한다.
신뢰 영역DLTIAMSPIRE
스마트 안경 영상에서 비밀번호 추론(Watch and Crack)
공공 장소에서 스마트폰으로 비밀번호를 입력하는 행위는 영상 기반 부채널 공격(side-channel attack)에 노출될 수 있다. 연구팀은 스마트폰 QWERTY 키보드에서 규칙 기반 알파벳 숫자 비밀번호를 복구하는 첫 번째 일반적인 영상 기반 키스트로크 추론 파이프라인을 제시한다.
이 연구는 스마트 안경을 활용한 영상 기반 비밀번호 추론 공격이 현실적 위협임을 보여주어, 공공 장소에서의 비밀번호 입력 방식에 대한 재검토가 필요하다.
비밀번호 추론영상 기반 부채널 공격스마트 안경QWERTY 키보드
다중 클래스 설정에서 암호화 트래픽 부채널 유출의 불가피성
부채널 존재 정리의 이론적 기반을 다중 클래스로 확장하고, 방어 비용 모델링을 통해 정보량 하한을 도출했다. 95개 클래스 데이터셋에서 모든 방어 기법에 대해 정보량의 95% 신뢰도 하한이 양수로 측정되었다.
이 연구는 암호화 트래픽 분석 방어 기법의 한계를 이론적으로 입증하여, 보안 설계 시 부채널 공격에 대한 고려가 필수적임을 시사한다.
부채널(side-channel)암호화 트래픽정보량방어 비용
MARS: 다중 애플리케이션 PLC 런타임에서 비인가 변수 조작 감지
MARS는 다중 애플리케이션 PLC 런타임에서 비인가 애플리케이션에 의한 변수 조작을 감지하고 책임을 특정하는 자동화된 프레임워크를 제안한다. 평가 결과, 제조, 화학, 수질 처리 시스템에서 이러한 조작을 감지하고 책임 있는 애플리케이션을 식별할 수 있음을 보였다.
이 연구는 ICS 환경에서 다중 애플리케이션 실행 시 발생할 수 있는 보안 위험을 감지하는 새로운 프레임워크를 제안하여, 실무에서 PLC 보안 강화에 활용될 수 있다.
PLCICS 보안변수 조작 감지애플리케이션 수준 인증
본 페이지의 연구 요약은 공개된 초록을 AI가 한국어로 정리한 것으로, 원문과 차이가 있을 수 있습니다. 정확한 내용은 반드시 원문을 확인하십시오. 본문과 PDF는 제공하지 않으며, 모든 저작권은 각 저자와 발행처에 있습니다.