[논문 리뷰] A Survey of Analysis Methods for Security and Safety verification in IoT Systems

Lobna Abuserrieh, Manar H. Alalfi|arXiv (Cornell University)|2022. 03. 03.

Advanced Malware Detection Techniques인용 수 4

한 줄 요약

이 종합 검토는 이종 IoT 플랫폼 간 상호작용을 중심으로, 사물인터넷(IoT) 애플리케이션의 보안 및 안전성 검증을 위한 프로그램 분석 기법에 대한 종합적인 분석을 제안한다. 기존 도구 및 방법을 분류하고, 검증 과정에서의 핵심 과제를 규명하며, 표준화 및 다중 플랫폼 호환성 분야의 연구 격차를 부각하여 향후 안전하고 보안적인 IoT 시스템 개발을 위한 기반을 마련한다.

ABSTRACT

Internet of Things (IoT) has been rapidly growing in the past few years in all life disciplines. IoT provides automation and smart control to its users in different domains such as home automation, healthcare systems, automotive, and many more. Given the tremendous number of connected IoT devices, this growth leads to enormous automatic interactions among sizeable IoT apps in their environment, making IoT apps more intelligent and more enjoyable to their users. But some unforeseen interactions of IoT apps and any potential malicious behaviour can seriously cause insecure and unsafe consequences to its users, primarily non-experts, who lack the required knowledge regarding the potential impact of their IoT automation processes. In this paper, we study the problem of security and safety verification of IoT systems. We survey techniques that utilize program analysis to verify IoT applications' security and safety properties. The study proposes a set of categorization and classification attributes to enhance our understanding of the research landscape in this domain. Moreover, we discuss the main challenges considered in the surveyed work and potential solutions that could be adopted to ensure the security and safety of IoT systems.

연구 동기 및 목표

• 증가하는 애플리케이션 상호작용을 수반하는 복잡하고 이종적인 IoT 시스템에서의 보안 및 안전성 검증 과제를 해결하기 위해.
• 최근 연구에서 사용된 프로그램 분석 기법을 식별하고 분류하여 IoT 애플리케이션의 보안 및 안전성 속성 검증에 활용하는 것을 목적으로 한다.
• 기존 도구들이 IoT 애플리케이션에서 발생하는 보안 및 안전성 위반 사항을 어떻게 탐지하거나 방지하거나 완화하는지 분석하기 위해.
• 다양한 IoT 플랫폼 및 도구에서 안전성 및 보안 요구사항을 어떻게 표현하고 처리하는지 분석하기 위해.
• IoT 보안 및 안전성 분석 분야에서 표준화, 도구의 일반화 가능성, 다중 플랫폼 검증 능력 측면에서의 연구 격차를 밝혀내기 위해.

제안 방법

• 최근 연구 논문을 대상으로 이종 IoT 환경에서의 보안 및 안전성 검증을 위한 프로그램 분석 기법에 대한 체계적 종합 검토를 수행한다.
• 분석 기법(예: 정적 분석, 동적 분석, 기호 실행 등), 검증 목표(보안, 안전성, 또는 양자), 다중 애플리케이션 상호작용 지원 여부 기준으로 조사된 연구를 분류한다.
• 대상 IoT 플랫폼(예: SmartThings, OpenHAB, IFTTT), 요구사항 표현 방식, 검증 능력 기준으로 도구를 분류한다.
• 검증 과정에서 주변 IoT 런타임 환경과 플랫폼 이종성 요소를 얼마나 고려하는지 분석한다.
• 이전 종합 검토와 비교하여 기존에 다루지 않은 신규로 출시된 도구 및 기법을 식별한다.
• 조사 결과를 종합하여 IoT 검증 분야에서 반복적으로 나타나는 과제, 한계점, 향후 연구의 기회를 도출한다.

실험 결과

연구 질문

• RQ1 IoT 애플리케이션에서 보안 및 안전성 검증을 위해 가장 흔하게 사용되는 프로그램 분석 기법은 무엇인가?
• RQ2 기존 도구들은 IoT 시스템에서 안전성 및 보안 요구사항을 어떻게 표현하고 검증하는가?
• RQ3 현재 도구들이 다중 애플리케이션, 이종 IoT 환경에서의 검증을 얼마나 잘 지원하는가?
• RQ4 기존 IoT 보안 및 안전성 검증 접근법에서 나타나는 주요 한계점과 연구 격차는 무엇인가?
• RQ5 최근 도구들은 이전 종합 검토에 비해 도구 커버리지, 플랫폼 지원, 검증 능력 측면에서 어떻게 다를까?

주요 결과

• 이 종합 검토는 다중 애플리케이션 상호작용을 중심으로, IoT 애플리케이션의 보안 및 안전성 검증을 위한 프로그램 분석 기법을 종합적으로 분석한 최초의 연구이다.
• 많은 기존 도구들이 이종 IoT 플랫폼을 지원하지 않아, 복잡한 환경에서의 일반화 가능성과 실제 적용 가능성에 한계가 있다.
• 조사된 도구 중 다수는 보안에 집중되어 있으며, 특히 헬스케어 및 산업용 IoT와 같은 핵심 분야에서 안전성 속성에 대한 고려가 부족한 편이다.
• 안전성 및 보안 요구사항의 표준화된 표현 방식이 부족하여, 도구 간 및 플랫폼 간 검증이 어려운 상황이 뚜렷하게 드러나 있다.
• 이전 종합 검토에서 다루지 않은 최근 도구들—특히 고급 정적 분석 또는 기호 실행 기법을 활용한 도구들—는 유망한 잠재력을 보이고 있으나, 확장성과 구현 준비도 측면에서 아직 제한되어 있다.
• 이 종합 검토는 동시에 보안 및 안전성 검증을 지원하는 통합 프레임워크의 부재를 규명하며, 향후 연구 및 도구 개발의 핵심 분야로 지목한다.