[논문 리뷰] SAFE^d: Self-Attestation For Networks of Heterogeneous Embedded Devices

Alessandro Visintin, Flavio Toffalini외 2명|arXiv (Cornell University)|2019. 09. 18.

Advanced Malware Detection Techniques참고 문헌 44인용 수 6

한 줄 요약

SAFE^d는 안정적인 DHT 오버레이를 사용하여 기기 간에 무결성 증명을 분산 저장함으로써 중앙 검증자 없이 이질적인 IoT 네트워크에서 탈중앙화된 원격 인증을 구현하는 기법을 제안한다. 장애나 공격 상황에서도 증명 복구율이 99.9%에 이를 정도로 높으며, 메모리 및 통신 오버헤드가 로그형으로 증가하여 자원이 제한된 환경에서도 자가 검증 및 자가 복구 기능을 실현한다.

ABSTRACT

The Internet of Things (IoT) is an emerging paradigm that allows to set large networks of small and independent devices. To ensure their integrity, practitioners employ so-called Remote Attestation (RA) schemes. Classic RA schemes require a central and powerful entity, called Verifier, that has mainly two duties: (i) it manages the entire process of attestation, and (ii) it contains all the proofs for validating the devices' integrity. However, having a central Verifier makes the network dependent upon an external entity and introduces a single point of failure for security. In this work, we propose SAFE^d: the first RA schema that allows a pair of IoT devices to validate their integrity without relying on an external Verifier. Our approach overcomes previous limitations by spreading the proofs among multiple IoT devices and using novel cryptographic mechanisms to ensure secure communications. Moreover, the entire IoT network can collaboratively isolate tampered devices and recover missing proofs in case of anomalies. We evaluate our schema through an implementation for Raspberry Pi platform and a network simulation. The results show that SAFE^d can detect infected devices and recover up to 99.9% of proofs in case of faults or attacks. Moreover, we managed to protect up to 10K devices with a logarithmic overhead on the network and on the devices' memory.

연구 동기 및 목표

• 기존 IoT 원격 인증에서 중앙 검증자에 의존하는 단일 장애 지점과 신뢰 문제를 해결하기 위해.
• 외부 조율 없이 이질적이고 자원이 제한된 임베디드 기기 간의 무결성 검증을 가능하게 하기 위해.
• 기기 해킹, 네트워크 장애, 증명 손실에 대비한 분산된 증명 저장 및 복구 메커니즘을 통해 내성적 복원력을 확보하기 위해.
• 제한된 기기와 신뢰할 수 있는 실행 환경과 호환되는 경량이고 확장 가능한 암호 기반 원리를 설계하기 위해.
• Raspberry Pi 3에서의 구현과 대규모 시뮬레이션을 통해 실현 가능성과 성능을 입증하기 위해.

제안 방법

• DHT 기반 아키텍처(특히 Chord)를 활용하여 IoT 기기 간에 증명 저장을 분산화함으로써 확장 가능한 데이터 검색을 가능하게 한다.
• 사전 공유 키 없이도 안정적인 피어 투 피어 통신을 구현하기 위해 DHT에 통합된 Diffie-Hellman 기반의 신규 키 교환 프로토콜을 도입한다.
• 증명 위치를 악의적으로 추론하는 것을 방지하기 위해, 서로 독립적이고 무작위로 설정된 다중 DHT 오버레이를 활용해 증명을 복제 저장한다.
• 신뢰할 수 있는 앵커(예: ARM TrustZone)를 활용해 핵심 인증 알고리즘과 암호 연산을 안전하게 저장 및 실행한다.
• 통신 타임아웃과 난수를 활용한 타임아웃 기반 메커니즘과 후계자 목록 검증을 통해 네트워크 단절 및 잠재적 물리적 공격을 탐지하는 하트비트 없는 감지 기법을 구현한다.
• 다중 오버레이와 후계자 목록 검증을 통해 기기들이 협동적으로 손실되거나 손상된 증명을 탐지하고 복구할 수 있도록 자가 복구 기능을 제공한다.

실험 결과

연구 질문

• RQ1 중앙에 강력한 검증자가 존재하지 않는 IoT 네트워크에서 원격 인증을 안정적으로 수행할 수 있는가?
• RQ2 이질적이고 자원이 제한된 기기들 간에 무결성 증명을 어떻게 분산하고 보호할 수 있는가?
• RQ3 탈중앙화된 IoT 환경에서 기기 해킹, 네트워크 장애, 증명 손실에 대비한 복원력을 확보하기 위한 메커니즘은 무엇인가?
• RQ4 동적이고 탈중앙화된 IoT 네트워크에서 최소한의 오버헤드로 안정적인 피어 투 피어 통신을 어떻게 구현할 수 있는가?
• RQ5 공격이나 기기 장애 발생 시 증명 복구율은 어느 정도까지 달성될 수 있는가?

주요 결과

• SAFE^d는 IoT 네트워크의 원격 인증에서 중앙 검증자에 기인한 단일 장애 지점 문제를 성공적으로 제거하였다.
• 단지 세 개의 DHT 오버레이만으로도 고장 또는 공격 발생 시 손실되거나 손상된 증명의 최대 99.9%를 복구할 수 있었다.
• 메모리 및 통신 오버헤드가 기기 수에 대해 로그형으로 증가하여 최대 10,000대의 기기까지 효율적으로 지원한다.
• Raspberry Pi 3에서의 구현을 통해 실세계 ARM TrustZone 기반 하드웨어에서의 실현 가능성을 입증하였으며, 성능 비용은 관리 가능한 수준이었다.
• 다중 무작위 DHT 오버레이의 활용으로 악의적인 공격자가 증명의 모든 복제본을 위치하거나 손상시키는 것을 훨씬 더 어렵게 만들었다.
• 타임아웃 기반 메커니즘과 후계자 목록 검증을 통해 네트워크 단절 및 잠재적 물리적 공격을 탐지함으로써 복원력이 향상되었다.