[논문 리뷰] Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling

Haotian Chi, Qiang Zeng외 2명|arXiv (Cornell University)|2018. 08. 06.

Advanced Malware Detection Techniques참고 문헌 34인용 수 29

한 줄 요약

이 논문은 앱 기반 스마트 홈 환경에서 권한 최소화 원칙을 따르는 양호한 IoT 앱 간의 장치 수준 상호작용으로 인해 간접적으로 갈등이나 은밀한 자동화가 발생하는 크로스앱 간섭(Cross-App Interference, CAI) 위협을 제시한다. 저자들은 심볼릭 실행과 제약 조건 해결 기법을 활용해 앱 간 CAI 위협을 탐지하는 HomeGuard 시스템을 제안하며, SmartThings 플랫폼을 대상으로 평가하여 높은 정밀도, 효율성 및 효과성을 확보한 실제 위협 사례를 다수 발견하였다.

ABSTRACT

A number of Internet of Things (IoTs) platforms have emerged to enable various IoT apps developed by third-party developers to automate smart homes. Prior research mostly concerns the overprivilege problem in the permission model. Our work, however, reveals that even IoT apps that follow the principle of least privilege, when they interplay, can cause unique types of threats, named Cross-App Interference (CAI) threats. We describe and categorize the new threats, showing that unexpected automation, security and privacy issues may be caused by such threats, which cannot be handled by existing IoT security mechanisms. To address this problem, we present HOMEGUARD, a system for appified IoT platforms to detect and cope with CAI threats. A symbolic executor module is built to precisely extract the automation semantics from IoT apps. The semantics of different IoT apps are then considered collectively to evaluate their interplay and discover CAI threats systematically. A user interface is presented to users during IoT app installation, interpreting the discovered threats to help them make decisions. We evaluate HOMEGUARD via a proof-of-concept implementation on Samsung SmartThings and discover many threat instances among apps in the SmartThings public repository. The evaluation shows that it is precise, effective and efficient.

연구 동기 및 목표

• 개별적으로 최소 권한 원칙을 따르는 IoT 앱 간의 상호작용으로 인해 발생하는 새로운 보안 및 프라이버시 위협을 식별하고 분류하는 것.
• 개별 앱의 결함이 아닌 앱 간 상호작용으로 인한 위협을 탐지할 수 없는 기존 IoT 보안 메커니즘의 격차를 메우는 것.
• 크로스앱 의미 분석을 통해 자동으로 CAI 위협을 탐지하고 설치 시 사용자에게 결과를 제시하는 HomeGuard 시스템을 설계 및 구현하는 것.
• 실제 스마트 홈 앱 환경에서 시스템의 정밀도, 효율성 및 효과성을 평가하는 것.

제안 방법

• 개별 IoT 앱으로부터 정밀하게 자동화 규칙(의미)을 추출하기 위해 심볼릭 실행을 활용하여 장치 제어를 위한 조건부 논리 구조를 포착하는 것.
• 여러 앱 간 규칙 간 관계를 분석하기 위해 제약 조건 해결기(constraint solver)를 사용하여 잠재적 간섭 시나리오를 탐지하는 것.
• CAI 위협을 장치 제어 명령의 충돌 또는 장치 상태 변화에 의해 유도되는 의도하지 않은 연쇄 실행으로 모델링하는 것.
• 설치 메타데이터 수집 및 클라이언트 기반 위협 탐지를 가능하게 하기 위해 앱 플랫폼에 코드 인스트루멘테이션을 통합하는 것.
• 설치 시 사용자가 이해할 수 있는 형식으로 탐지된 위협을 제시할 수 있는 사용자 인터페이스를 설계하는 것.
• 실제 SmartThings 공개 저장소의 앱을 활용하여 Samsung의 SmartThings 플랫폼에서 HomeGuard를 구현하고 평가하는 것.

실험 결과

연구 질문

• RQ1 개별적으로 최소 권한 원칙을 따르는 IoT 앱 간의 상호작용으로부터 어떤 종류의 보안 및 프라이버시 위협이 발생하는가?
• RQ2 각 앱의 정적 분석에만 의존하지 않고, 다수의 IoT 앱 간에서 CAI 위협을 체계적으로 탐지할 수 있는 방법은 무엇인가?
• RQ3 크로스앱 의미 분석 기법을 통해 간섭 위협을 높은 정밀도와 낮은 성능 오버헤드로 탐지할 수 있는가?
• RQ4 제안된 시스템은 기존 앱 저장소에서 실제 CAI 위협을 효과적으로 식별할 수 있는가?

주요 결과

• HomeGuard는 SmartThings 공개 저장소의 실제 IoT 앱들에서 다수의 잠재적 CAI 위협을 성공적으로 탐지하여 실용적 관련성을 입증하였다.
• 권한 과다 사용에 의존하지 않고 룰 수준의 상호작용 분석을 통해 간섭을 높은 정밀도로 탐지함으로써 시스템의 정확성이 입증되었다.
• 평가 결과, HomeGuard는 상반된 장치 명령과 같은 직접적 갈등 뿐 아니라, 의도하지 않은 자동화 체인과 같은 간접적 연쇄 작동까지도 효과적으로 드러내었다.
• 코드 인스트루멘테이션과 스마트폰 기반 프론트엔드를 활용한 경량 클라이언트 기반 탐지 기법을 통해 시스템의 효율성이 입증되었다.
• 사용자 인터페이스는 복잡한 위협 의미를 이해하기 쉬운 경고로 변환하여 설치 시 사용자가 정보 기반 결정을 내릴 수 있도록 성공적으로 지원하였다.