한국컴퓨터정보학회논문지 (Journal of the Korea Society of Computer and Information)
- 제10권3호
- /
- Pages.75-88
- /
- 2005
- /
- 1598-849X(pISSN)
- /
- 2383-9945(eISSN)
원격 실시간 제어 시스템을 위한 정적 프로그램 분석에 의한 보안 기법
Ensuring Securityllable Real-Time Systems by Static Program Analysis
-
임성수
(국민대학교 자연과학대학 컴퓨터학부) ;
-
Lim Sung-Soo
;
- Lee Kihwal (Department of Computer Science, University of Illinois at Urbana-Champaign)
- 발행 : 2005.07.10
초록
본 논문에서는 원격으로 제어 가능한 실시간 시스템에서 발생 가능한 악의적인 코드 삽입에 의한 보안 공격을 방지할 수 있는 방법을 제안한다. 제안하는 방법은 원격으로 제어 코드를 전달하여 시스템을 업그레이드하는 경우 전달된 제어 코드의 안전성을 실행 전에 분석하는 방법으로서 정적 프로그램 분석 방법을 이용한다. 제안하는 분석 방법을 구현한 도구를 컴파일러 내에 삽입하여 실제 원격으로 소프트웨어 업그레이드가 가능한 실시간 시스템 환경에 적용하여 효용성을 검증하였다.
This paper proposes a method to ensure security attacks caused by insertion of malicious codes in a real-time control system that can be accessed through networks. The proposed technique is for dynamically upgradable real-time software through networks and based on a static program analysis technique to detect the malicious uses of memory access statements. Validation results are shown using a remotely upgradable real-time control system equipped with a modified compiler where the proposed security technique is applied.