Earticle

초록

영어

In recent years, cyber attacks on PLCs(Programmable Logic Controllers) in industrial control systems or SCADA(Supervisory Control and Data Acquisition) systems have increased. A successful forgery(or tampering) attack on PLC's firmware may cause a large-scale industrial disaster. In this paper, we propose an efficient technique that remotely verifies the integrity of firmware installed on PLCs. Based on a challenge-response approach, a supervisory PC can verify the integrity of firmware of embedded device connected to the PC via serial communication. We implement the proposed technique in an embedded board running uC/OS-II operating system and evaluate its efficiency in terms of stack usage and execution time. The technique uses a small amount of memory, network transmission and computation, so that it is suitable for embedded environment.

한국어

최근 산업 제어 시스템(Industrial Control System) 또는 SCADA(Supervisory Control and Data Acquisition) 등에서 사용되는 PLC(Programmable Logic Controller)에 대한 사이버 공격이 증가하고 있다. 특히, PLC의 펌 웨어에 대한 위변조 공격이 성공할 경우, 대규모의 산업재해를 유발할 수 있다. 본 논문에서는 PLC 장치의 펌웨어에 대한 무결성을 원격으로 검증하는 효율적인 기법을 제안한다. 이 기법은 challenge-response 방식을 기반으로 하 여, 관리 PC가 시리얼 통신으로 연결된 다른 임베디드 장치에 탑재된 펌웨어의 무결성을 검증한다. 제안 기법을 uC/OS-II 운영체제를 탑재한 임베디드 보드에 구현하여 제안 기법의 효율성을 스택사용량과 수행시간의 측면에서 평가한다. 평가 결과, 제안 기법은 적은 메모리와 계산량, 네트워크 전송량을 사용하여 임베디드 환경에 적합하다.

목차

요약
Abstract
1. 서론
2. 관련연구 및 배경지식
2.1 관련연구
2.2 배경지식
3. 제안기법
3.1 순차 순회 원격 보증증명
3.2 무작위 순회 원격 보증증명
4. 구현 및 실험
4.1 실험환경
4.2 실제 구현 사항
5. 평가
5.1 순차 순회 원격 보증증명 기법 평가
5.2 무작위 순회 원격 보증증명 기법 평가
5.3 관련 연구와 비교
6. 결론 및 향후 연구
Acknowledgement
참고문헌

키워드

저자

• 유근하 [ Geunha You | 단국대학교 컴퓨터학과 ]
• 한승재 [ Seungjae Han | 단국대학교 컴퓨터학과 ]
• 조성제 [ Seong-je Cho | 단국대학교 컴퓨터학과 ] 교신저자
• 한상철 [ Sangchul Han | 건국대학교 소프트웨어전공 ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  한국차세대컴퓨팅학회 논문지 [THE JOURNAL OF KOREAN INSTITUTE OF NEXT GENERATION COMPUTING]

• 간기

  격월간

• pISSN

  1975-681X

• 수록기간

  2005~2026

• 등재여부

  KCI 등재

• 십진분류

  KDC 566 DDC 004