[논문 리뷰] Clear as MUD: Generating, Validating and Applying IoT Behaviorial Profiles (Technical Report)

Ayyoob Hamza, Dinesha Ranathunga외 3명|arXiv (Cornell University)|2018. 04. 12.

Network Security and Intrusion Detection참고 문헌 14인용 수 7

한 줄 요약

이 논문은 IoT 기기의 트래픽 트레이스에서 자동으로 MUD(제조사 사용 설명서) 프로파일을 생성하고, 형식적 의미론을 사용하여 일관성과 정책 호환성을 검증하며, 실제 조직 정책에 기반해 IoT 수락 테스트의 노력을 줄이는 도구를 제시한다. 이 방법은 제조사별 행동 프로파일을 활용하여 보다 안전하고 자동화된 네트워크 액세스 제어를 가능하게 한다.

ABSTRACT

IoT devices are increasingly being implicated in cyber-attacks, driving community concern about the risks they pose to critical infrastructure, corporations, and citizens. In order to reduce this risk, the IETF is pushing IoT vendors to develop formal specifications of the intended purpose of their IoT devices, in the form of a Manufacturer Usage Description (MUD), so that their network behavior in any operating environment can be locked down and verified rigorously. This paper aims to assist IoT manufacturers in developing and verifying MUD profiles, while also helping adopters of these devices to ensure they are compatible with their organizational policies. Our first contribution is to develop a tool that takes the traffic trace of an arbitrary IoT device as input and automatically generates a MUD profile for it. We contribute our tool as open source, apply it to 28 consumer IoT devices, and highlight insights and challenges encountered in the process. Our second contribution is to apply a formal semantic framework that not only validates a given MUD profile for consistency, but also checks its compatibility with a given organizational policy. Finally, we apply our framework to representative organizations and selected devices, to demonstrate how MUD can reduce the effort needed for IoT acceptance testing.

연구 동기 및 목표

• IoT 기기의 MUD 프로파일을 생성하고 검증하기 위한 표준화되고 자동화된 방법의 부족을 해결하기 위해.
• 실제 기기 트래픽 행동을 바탕으로 IoT 제조사가 정확하고 일관된 MUD 프로파일을 생성하는 데 도움을 주기 위해.
• 네트워크 관리자가 조직 보안 정책과 산업 최고의 실천 방법에 기반해 MUD 프로파일을 검증할 수 있도록 하기 위해.
• 기업 및 핵심 인프라 네트워크에서 IoT 기기 수락 테스트에 필요한 수작업의 양을 줄이기 위해.
• MUD 정책의 일관성과 보안 정책과의 호환성을 점검하기 위한 형식적 프레임워크를 제공하기 위해.

제안 방법

• 저자들은 28개의 소비자용 IoT 기기에서 생성된 패킷 트레이스를 분석하여 자동으로 MUD 프로파일을 생성하는 오픈소스 도구를 개발했다.
• 형식적 의미론 프레임워크를 적용하여 MUD 프로파일의 내부 일관성과 충돌하는 규칙(예: 수락/차단과 같은 다른 동작을 가진 겹치는 흐름)을 탐지했다.
• 정규화된 MUD 정책을 직각 다각형 분해를 통해 구현하여 동일한 정책이 동일한 표현으로 매핑되도록 하여 결정론적 정책 비교를 가능하게 했다.
• 포함 관계를 사용하여 정책이 참조 보안 정책(예: SCADA 최고의 실천 방법)에 포함되어 있는지 검사했다: $ p^{X} \subset p^{Y} $, 여기서 $ p^{X} $는 기기 정책이고 $ p^{Y} $는 참조 정책이다.
• 정책을 정규형 $ c: \Phi \rightarrow \Theta $ 으로 매핑함으로써 정책 간 자동 비교를 지원하였으며, 동일한 정책는 동일한 고유 표현으로 매핑됨을 보장했다.
• 실제 기기와 기업 및 SCADA 영역을 포함한 대표적인 조직 정책을 대상으로 평가하여 설치 가능성과 준수 여부를 점검했다.

실험 결과

연구 질문

• RQ1 실제 IoT 기기 트래픽 트레이스에서 MUD 프로파일을 어떻게 자동으로 생성할 수 있는가?
• RQ2 형식적 의미론을 어떻게 활용하여 MUD 프로파일의 일관성을 검증하고 충돌하는 액세스 규칙을 탐지할 수 있는가?
• RQ3 조직 보안 정책과 산업 최고의 실천 방법에 대해 MUD 정책을 얼마나 자동으로 호환성 여부를 점검할 수 있는가?
• RQ4 제안된 프레임워크는 기업 및 핵심 인프라 네트워크에서 IoT 기기 수락 테스트에 필요한 노력을 얼마나 줄일 수 있는가?
• RQ5 실제 소비자용 IoT 기기의 MUD 프로파일 생성 및 검증 과정에서 발생하는 실용적 과제와 통찰은 무엇인가?

주요 결과

• 도구는 28개의 소비자용 IoT 기기에서 MUD 프로파일을 성공적으로 생성하여 제조사 간 공통적인 행동 패턴과 구현 일관성 부족을 드러냈다.
• 형식적 검증은 테스트된 MUD 프로파일의 100%의 규칙 충돌을 탐지했으며, 수락 및 차단과 같은 다른 동작을 가진 겹치는 흐름을 포함한 충돌을 모두 발견했다.
• 정규화는 동일한 정책가 다르게 표현된 경우에도 이를 동일한 것으로 인식할 수 있도록 결정론적 정책 비교를 가능하게 했다.
• 포함 검사 $ p^{MP} \subset p^{RP} $ 는 SCADA 최고의 실천 방법에 대한 준수 여부를 성공적으로 확인했으며, 보호 영역에서 공격 표면을 증가시킬 수 있는 기기를 경고했다.
• 평가 결과, MUD 기반 정책 시행은 엔터프라이즈 및 SCADA 네트워크 영역에서 자동화된 정책 기반 기기 검증을 가능하게 하여 IoT 수락 테스트의 노력을 줄였다.
• 연구 결과, 많은 소비자용 IoT 기기에서 예상치 못한 네트워크 행동(예: 예기치 않은 외부 연결)이 나타나는 경향이 있었으며, 정확하게 생성된 MUD 프로파일을 적용함으로써 이러한 행동이 완화됨을 확인했다.