논문KCI 등재
IoT 기기를 위한 경량의 소프트웨어 제어 변조 탐지기법
A lightweight detection mechanism of control flow modification for IoT devices
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류컴퓨터학
초록
IoT환경에서는 소프트웨어의 안전성과 무결성이 중요하다. 하지만 IoT의 제한된 성능 때문에 소프트웨어 검증에음영지역이 발생한다. 제한된 제어 변조 공격은 이러한 음영지역을 목표로, 대상 프로그램의 핵심 분기문을 변조하여 동작을 조작한다. 본 논문에서는 이러한 공격에 대응하여 프로그램에 marker를 직접 주입하고 확인함으로써 공격을 탐지하는 효율적인 기법을 제안한다.
Abstract
Constrained IoT devices cannot achieve full coverage of software attestation even though the integrity of software is critical. The limited modification attacks on control flow of software aim at the shadow area uncovered in software attestation processes. In this paper, we propose a light-weight protection system that detects modification by injecting markers to program code.
참고문헌 (8)
- A. Seshadri, "SWATT: Software-based attestation for embedded devices", Proceedings of IEEE Symposium on Security and Privacy, pp.272~282 (2004)
- A. Seshadri, "SCUBA: Secure Code Update By Attestation in sensor networks", Proceedings of ACM workshop on Wireless security, pp.85~94 (2006)
- JongHyup Lee, "Energy-Efficient Software Integrity Checks to Build Secure Industrial Wireless Active Sensor Networks", IEEE Transactions on Industrial Informatics, (early access) (2015)
- Paul Craig, "Mark Ron. Software Piracy Exposed-Secrets from the Dark Side Revealed" (2015), Andrew Williams
- Gunnar Blom, "Problems and Snapshots fromthe World of Probability" (1994), Springer-Verlag
- M. Abadi, "Control-flow integrity principles, implementations, and applications", ACM Transactions on Information and System Security, 13(1), pp.1~40 (2009)
- G. Necula, "CIL : Intermediate language and tools for analysis and transformation of C programs", Compiler Construction, pp.213~228 (2002), Springer
- "NIST Software Assusrance Reference Dataset"[URL]
관련 논문AI추천
저전력 블루투스를 통한 사물 인터넷 장치의 소프트웨어적인 코드 검증강전일, 김근영, 양대헌, 이경희한국정보보호학회 · 정보보호학회논문지2016 · 제26권 제5호데이터 흐름분석을 통한 심볼이 제거된 임베디드 시스템의 취약점 탐지류한얼, 박상준, 박성준, 서창배, 조병모, 조해현한국정보보호학회 · 정보보호학회논문지2025 · 제35권 제2호제어흐름 에러 탐지를 위한 분리형 시그니처 모니터링 기법박대진, 조정훈, 최기호대한임베디드공학회 · 대한임베디드공학회논문지2018 · 제13권 제5호실행 제어 명령어의 목적 주소 검증을 통한 소프트웨어 공격 탐지 기법박상서, 박종욱, 이균하, 최명렬한국정보처리학회 · 정보처리학회논문지C2006 · 제13권 제4호싱크 확장을 위한 패턴 기반의 임베디드 바이너리 취약점 분석 기법김태호, 신영주한국정보보호학회 · 정보보호학회논문지2024 · 제34권 제6호IoT 장치 취약점 분석을 위한 IoT Companion App 기반 SendMessage 식별 방법론강민정, 서영재, 이승민, 조해현, 조효진한국정보보호학회 · 정보보호학회논문지2025 · 제35권 제1호
이 간행물의 다른 논문 (26건)
해밍 웨이트 누출 기반 ARIA 키 확장 SPA박애선, 한동국, 최준pp. 1319-1326마이크로소프트 차세대 암호 라이브러리의 확장성 분석: 국산 암호화 알고리즘 HAS-160 연동 구현사례를 중심으로이경률, 임강빈, 유일선pp. 1327-1339Androfilter: 유효마켓데이터를 이용한 안드로이드 악성코드 필터김지혜, 양원우pp. 1341-1351상태 정보를 활용하여 악의적 사용자의 영향력을 최소화하는 추천 알고리즘노기섭, 오하영, 김종권, 노태완pp. 1353-1360클래시 오브 클랜 오토 프로그램의 악성 행위 분석을 통한 모바일 게임 보안 위협에 관한 연구김휘강, 허청일, 허건일pp. 1361-1376