임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 정병호 | - |
dc.contributor.author | 김용혁 | - |
dc.contributor.author | 배성일 | - |
dc.contributor.author | 임을규 | - |
dc.date.accessioned | 2022-07-12T07:36:10Z | - |
dc.date.available | 2022-07-12T07:36:10Z | - |
dc.date.created | 2021-05-13 | - |
dc.date.issued | 2018-03 | - |
dc.identifier.issn | 2287-1322 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/150383 | - |
dc.description.abstract | 임베디드 기기는 시퀀스 제어 기능과 수치연산 기능을 활용하여 제어 프로그램에 따라 산업현장의 기기 등 다양한 자동화시스템에 활용된다. 현재 임베디드 기기는 기업의 산업현장, 원전, 대중교통 같은 국가기반시설에서 제어 시스템으로 활용되고있다. 따라서 임베디드 기기를 대상으로 하는 공격은 큰 경제적 손실과 사회적 손실을 야기할 수 있다. 임베디드 기기를 대상으로 하는 공격은 대부분 데이터, 코드 변조로서 제어 프로그램을 대상으로 이루어진다. 산업 자동화 임베디드 기기의 제어 프로그램은 일반적인 프로그래밍 언어와 달리 회로 구조를 표현하기 위하여 설계되었고, 대부분의 산업 자동화 제어 프로그램은그래픽 기반 언어인 LAD로 설계되어있어 정적분석이 용이하지 않다. 이러한 특징으로 인하여 산업 자동화 제어 프로그램에대한 취약점 분석 및 보안 관련 연구는 정형 검증, 실시간 모니터링 수준에 그친다. 또한 사전에 취약점을 탐지하고 공격에대한 대비가 가능한 산업 자동화 제어 프로그램 정적분석 연구는 매우 저조한 실정이다. 따라서 본 연구에서는 산업 자동화임베디드 프로그램에 대한 정적분석 효율성 증대를 위하여 회로 구조를 표현하기 위해 설계된 산업 자동화 제어 프로그램을논리식으로 표현하기 위한 방법을 제시한다. 또한 다양한 제조사의 산업 자동화 제어 프로그램을 통합적으로 분석하기 위하여LLVM IR을 활용한 중간어 변환 기술을 제안한다. LLVM IR을 활용함으로서 동적 분석에 대한 통합분석이 가능하다. 본연구에서는 해당 방법에 대한 검증을 위하여 S 社의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다. | - |
dc.language | 한국어 | - |
dc.language.iso | ko | - |
dc.publisher | (사)한국스마트미디어학회 | - |
dc.title | 임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술 | - |
dc.title.alternative | Intermediate-Representation Translation Techniques to Improve Vulnerability Analysis Efficiency for Binary Files in Embedded Devices | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | 임을규 | - |
dc.identifier.doi | 10.30693/SMJ.2018.7.1.37 | - |
dc.identifier.bibliographicCitation | 스마트미디어저널, v.7, no.1, pp.37 - 44 | - |
dc.relation.isPartOf | 스마트미디어저널 | - |
dc.citation.title | 스마트미디어저널 | - |
dc.citation.volume | 7 | - |
dc.citation.number | 1 | - |
dc.citation.startPage | 37 | - |
dc.citation.endPage | 44 | - |
dc.type.rims | ART | - |
dc.identifier.kciid | ART002335767 | - |
dc.description.journalClass | 2 | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | kci | - |
dc.subject.keywordAuthor | 산업자동화 | - |
dc.subject.keywordAuthor | 임베디드 기기 | - |
dc.subject.keywordAuthor | 제어 프로그램 | - |
dc.subject.keywordAuthor | 중간어 | - |
dc.subject.keywordAuthor | Industrial Automated Systems | - |
dc.subject.keywordAuthor | Embedded devices | - |
dc.subject.keywordAuthor | Controll Logic | - |
dc.subject.keywordAuthor | Medium Languege | - |
dc.identifier.url | https://scholar.kyobobook.co.kr/article/detail/4010026265516 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
222, Wangsimni-ro, Seongdong-gu, Seoul, 04763, Korea+82-2-2220-1365
COPYRIGHT © 2021 HANYANG UNIVERSITY.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.