연구자료실

설비 연결, 품질 검사, 생산 분석과 제조 업무에 관련된 외부 논문입니다.

연구자료 검색

논문 목록

T14. 산업용 프로토콜 번역, 코드 생성, 프로그램 합성

  1. T14-4후보

    Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents

    저자
    Zihan Liu, Ruinan Zeng, Dongxia Wang, Gengyun Peng, Jingyi Wang, Qiang Liu, Peiyu Liu, Wenhai Wang
    연도
    2024
    발표처
    arXiv 프리프린트, 12쪽
    한국어 검토 보기
    해결 문제
    • PLC 코드 생성과 검증을 사람 개입 없이 닫힌 고리로 돌리는 방법을 찾는다.
    핵심 구조
    • 여러 에이전트가 역할을 나눠 맡는 다중 에이전트 시스템이다. 검색 증강 생성(RAG), 프롬프트 기법, 사고 사슬을 함께 쓴다. 검증 가능한 PLC 코드 생성용 벤치마크도 같이 만든다.
    주요 결과
    • 기존 방법 대비 여러 난이도 지표에서 크게 앞섰다고 보고한다.
    한계
    • 벤치마크가 저자들이 만든 것이다. 실제 산업 현장 적용은 향후 과제로 남겼다.
    우리 기능과의 연결
    • 회사 연결: 역할을 나눈 에이전트가 생성과 검증을 반복하는 구조는 업무 실행 에이전트 설계의 향후 적용 후보다.
  2. T14-8후보

    Discoverer: Automatic Protocol Reverse Engineering from Network Traces

    저자
    Weidong Cui (Microsoft Research), Jayanthkumar Kannan (UC Berkeley), Helen J. Wang (Microsoft Research)
    연도
    2007
    발표처
    16th USENIX Security Symposium, 2007
    한국어 검토 보기
    해결 문제
    • 응용 계층 통신 규약의 사양을 알아내는 일이 거의 다 수작업이었다. 침입 탐지나 취약점 점검을 하려면 규약 사양이 필요한데 문서가 없다.
    핵심 구조
    • 통신 기록만 보고 메시지 포맷을 자동으로 복원하는 도구다. 특정 규약에 맞춘 규칙 없이, 여러 규약에 공통으로 나타나는 표현 관용구를 추론하는 방식으로 돈다.
    주요 결과
    • 텍스트 규약 HTTP 하나와 이진 규약 RPC, CIFS/SMB 두 개로 평가했다. 추론한 포맷의 90퍼센트 넘게가 실제 포맷 하나에 정확히 대응했다. 추론 포맷이 기록 속 메시지의 95퍼센트 이상을 덮었다.
    한계
    • 실제 포맷 하나가 평균 다섯 개 추론 포맷으로 쪼개져 나온다. 덮은 메시지가 실제 포맷 종류로는 30에서 40퍼센트에 그친다. 기록에 없는 경로는 못 잡는다.
    우리 기능과의 연결
    • 회사 연결: 통신 규약 역공학의 원조 논문이다. 문서 없는 설비 통신 규격을 기록만 보고 해석해야 하는 상황이 있어, 설비 데이터 수집의 향후 적용 후보다. 아래 9번 NetPlier가 이 계보를 잇는다. 반대로 실행 바이너리를 뜯는 계열은 14번 Polyglot이다.
  3. T14-9후보

    NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces

    저자
    Yapeng Ye, Zhuo Zhang, Fei Wang, Xiangyu Zhang, Dongyan Xu (Purdue University)
    연도
    2021
    발표처
    NDSS 2021
    한국어 검토 보기
    해결 문제
    • 사양이 공개되지 않은 통신 프로토콜을 통신 기록만 보고 알아내야 한다.
    핵심 구조
    • 통신 메시지들을 다중 서열 정렬로 맞춘다. 메시지 종류를 가르는 핵심 필드를 확률 추론으로 고른다. 그 결과로 메시지를 묶고, 포맷을 복원하고, 상태 기계를 재구성한다.
    주요 결과
    • 프로토콜 10종 평가에서 기존 최고 수준을 크게 앞섰다. 사물인터넷 프로토콜 분석과 악성코드 조사에 유용하다고 밝힌다.
    한계
    • 통신 기록에 나타난 동작만 복원한다. 기록에 없는 예외 경로는 못 잡는다. 암호화된 통신에는 바로 못 쓴다.
    우리 기능과의 연결
    • 회사 연결: 문서 없는 설비 통신 규격을 기록만 보고 해석해야 하는 상황이 있어, 설비 데이터 수집의 향후 적용 후보다. 기록이 아니라 실행 파일을 보는 쪽은 14번 Polyglot이다.
  4. T14-14후보

    Polyglot: Automatic Extraction of Protocol Message Format using Dynamic Binary Analysis

    저자
    Juan Caballero, Heng Yin, Zhenkai Liang, Dawn Song (카네기멜런대, 윌리엄앤메리대, UC 버클리)
    연도
    2007
    발표처
    ACM CCS 2007 (14th ACM Conference on Computer and Communications Security), 317에서 329쪽
    한국어 검토 보기
    해결 문제
    • 통신 규약 역공학을 통신 기록만 보고 하면 한계가 있다. 기록에는 의미 정보가 없기 때문이다.
    핵심 구조
    • 통신 기록 대신 실행 바이너리를 본다. 프로그램이 받은 데이터를 처리하는 방식 자체가 메시지 포맷을 드러낸다는 점을 쓴다. 에뮬레이터 안에서 프로그램을 돌리고, 네트워크로 들어온 바이트에 표시를 붙여 어디로 퍼지는지 따라간다(동적 오염 분석). 이 방식을 섀도잉이라 부르고 Polyglot 도구로 구현했다.
    주요 결과
    • 실제 구현체로 규약 다섯 개를 평가했다. DNS, HTTP, IRC, Samba, ICQ다. 결과를 사람이 손으로 만든 Wireshark 포맷과 비교했다. 차이가 작았고, 남은 차이는 구현체마다 필드를 다르게 다루기 때문이었다. 그 차이를 찾는 것 자체가 지문 생성과 퍼징에 쓸모 있다고 밝힌다.
    한계
    • 분석에 넣은 메시지의 포맷만 얻는다. 안 나온 메시지는 모른다. 필드 자료형이나 바이트 순서 같은 속성은 뽑지 않는다. 바이트 단위라 1바이트보다 짧은 플래그 필드는 못 가른다. 메시지 경계 찾기는 향후 과제로 남겼다. 난독화에는 약하다.
    우리 기능과의 연결
    • 회사 연결: 위 8번 Discoverer와 9번 NetPlier는 통신 기록만 보는 방식이다. 이 논문은 실행 바이너리를 뜯는 반대편 대표 계열이다. 설비 드라이버 실행 파일은 있는데 규격서가 없는 상황이 있어, 설비 데이터 수집의 향후 적용 후보다.

연구에서 제품 적용까지

운영 중인 기능, 시범 적용과 개발 중인 기술을 구분해 정리했습니다.

보유기술 보기