[논문 리뷰] VISCR: Intuitive & Conflict-free Automation for Securing the Dynamic Consumer IoT Infrastructures.

Vasudevan Nagendra, Arani Bhattacharya외 3명|arXiv (Cornell University)|2019. 07. 31.

Advanced Malware Detection Techniques참고 문헌 54인용 수 8

한 줄 요약

VISCR는 SmartThings, OpenHAB, IFTTT, MUD 등의 이질적인 IoT 자동화 정책을 일관된 추상화 트리로 변환하여 충돌 없는 실행을 가능하게 하는, 제조사에 종속되지 않은 그래프 기반 정책 사양 및 충돌 해소 프레임워크이다. 이는 907개의 IoT 앱 중 342개(37.7%)에서 버그나 충돌을 탐지하며, 최신 기술 대비 분석 시간을 14.2배 빠르게 하고, 정책 적응을 초초 단위로 구현한다.

ABSTRACT

Consumer IoT is characterized by heterogeneous devices with diverse functionality and programming interfaces. This lack of homogeneity makes the integration and security management of IoT infrastructures a daunting task for users and administrators. In this paper, we introduce VISCR, a Vendor-Independent policy Specification and Conflict Resolution engine that enables conflict-free policy specification and enforcement in IoT environments. VISCR converts the topology of the IoT infrastructure into a tree-based abstraction and translates existing policies from heterogeneous vendor-specific programming languages such as Groovy-based SmartThings, OpenHAB, IFTTT-based templates, and MUD-based profiles into a vendor-independent graph-based specification. Using the two, VISCR can automatically detect rouge policies, conflicts, and bugs for coherent automation. Upon detection, VISCR infers new policies and proposes them to users as alternatives to existing policies for fine-tuning and conflict-free enforcement. We evaluated VISCR using a dataset of 907 IoT apps, programmed using heterogeneous automation specifications in a simulated smart-building IoT infrastructure. In our experiments, among 907 IoT apps, VISCR exposed 342 of IoT apps as exhibiting one or more violations. VISCR detected 100% of violations reported by existing state-of-the-art tool, while detecting new types of violations in an additional 266 apps. In terms of performance, VISCR can generate 400 abstraction trees (used in specifying policies) with 100K leaf nodes in <1.2sec. In our experiments, VISCR took 80.7 seconds to analyze our infrastructure of 907 apps; a 14.2X reduction compared to the state-of-the-art. After the initial analysis, VISCR is capable of adopting new policies in sub-second latency to handle changes.

연구 동기 및 목표

• 다양한 소비자용 IoT 인fra에서 동적으로 변화하는 환경에서 일관된 정책 사양을 구현하는 데 도전한다.
• 기존 도구가 놓치는 정책 충돌, 악성 정책, 자동화 버그를 탐지하고 해결한다.
• 제조사 전용 프로그래밍 언어에 종속되지 않은 통합적이고 직관적이며 충돌 없는 정책 사양 메커니즘을 제공한다.
• 동적인 IoT 환경에서 효율적이고 확장 가능하며 저지연의 정책 실행 및 적응을 가능하게 한다.

제안 방법

• Groovy, OpenHAB, IFTTT, MUD 등의 제조사 전용 IoT 자동화 정책을 제조사에 종속되지 않은 그래프 기반 사양 모델로 변환한다.
• IoT 인fra 구조도에서 추상화 트리를 구성하여 장치 간 관계와 정책 의존성을 표현한다.
• 충돌을 자동으로 해결하고 충돌 없는 정책 그래프를 생성하기 위해 PRECEDENCE 연산자를 활용한 정책 조율 엔진을 운영한다.
• 정적 분석을 그래프 모델에 적용하여 컴파일 시점의 충돌, 루프, 접근 위반, 코드 무결성 버그, 악성 정책을 탐지한다.
• 충돌이 해결되지 않은 경우 사용자에게 개선된 정책을 추론하고 수동 조정을 위한 제안을 제공한다.
• 초기 분석 이후 정책을 초초 단위로 적용할 수 있도록 지원하여, 인프라 변화에 실시간으로 대응할 수 있다.

실험 결과

연구 질문

• RQ1 다양한 프레임워크에서 유래한 이질적인 IoT 정책 사양을 충돌 없는, 제조사에 종속되지 않은 모델로 통합하는 방법은 무엇인가?
• RQ2 기존에 발견되지 않은 버그와 충돌(악성 정책 및 루프 유도 실패 포함)을 탐지하는 데 어떤 기법이 가능한가?
• RQ3 사용자 의도를 유지하면서 오류 경향을 최소화하면서 정책 추론과 해결을 자동화하는 방법은 무엇인가?
• RQ4 모델 체킹 기반 접근 방식에 비해 그래프 기반 추상화가 정책 분석의 확장성과 성능 향상에 얼마나 기여하는가?

주요 결과

• VISCR는 907개의 IoT 앱 중 342개(37.7%)에서 하나 이상의 정책 위반을 탐지하였으며, 최신 기술 대비 상당한 성능 향상을 보였다. 기존 최신 기술은 이러한 충돌의 8.4%만 탐지하였다.
• VISCR는 기존 최신 기술이 보고한 위반 사항에 대해 100% 재현율을 달성하였고, 이전에 발견되지 않은 266개의 새로운 위반 사항을 추가로 탐지하였다.
• 프레임워크는 907개 앱의 스마트 빌딩 인프라에 대해 정책 분 析 시간을 80.7초로 단축하여, 기존 최고 수준의 도구 대비 14.2배 빠른 속도를 기록하였다.
• VISCR는 1.2초 이내에 100,000개의 리프 노드를 포함한 400개의 추상화 트리를 생성하여 높은 확장성을 입증하였다.
• 초기 분석 이후 VISCR는 신규 정책 적용을 초초 단위로 지원하여, 동적인 IoT 환경의 변화에 실시간으로 대응할 수 있었다.
• 시스템은 3.8% 이하의 가짜 양성률을 기록하여 위반 사항 탐지의 높은 정밀도를 입증하였다.