[논문 리뷰] Remote Attestation: A Literature Review

Alexander Sprogø Banks, Marek Kisiel외 1명|arXiv (Cornell University)|2021. 05. 06.

Security and Verification in Computing참고 문헌 30인용 수 6

한 줄 요약

이 문헌 고찰은 IoT 시스템에서 원격 인증(RA)에 대해 종합적인 분석을 제공하며, 소프트웨어 기반, 하드웨어 기반, 하이브리드 파라다임을 평가하고, 보안 보장, 적대적 모델, 그리고 스웜 인증과 제어 흐름 모니터링과 같은 신규 확장 기능에 중점을 둡니다. 형식적 검증과 동적 스웜 구조가 핵심 발전으로 지목되며, 장애 탐지 및 프로토콜 증명 가능성과 같은 열린 과제들이 강조됩니다.

ABSTRACT

With the rising number of IoT devices, the security of such devices becomes increasingly important. Remote attestation (RA) is a distinct security service that allows a remote verifer to reason about the state of an untrusted remote prover (device). Paradigms of remote attestation span from exclusively software, in software-based attestation, to exclusively hardware-based. In between the extremes are hybrid attestation that utilize the enhanced security of secure hardware components in combination with the lower cost of purely software-based implementations. Traditional remote attestation protocols are concerned with reasoning about the state of a prover. However, extensions to remote attestation also exist, such as code updates, device resets, erasure and attestation of the device's run-time state. Furthermore, as interconnected IoT devices are becoming increasingly more popular, so is the need for attestation of device swarms. We will describe and evaluate the state-of-the-art for remote attestation, which covers singular attestation of devices as well as newer research in the area of formally verified RA protocols, swarm attestation and control-flow attestation.

연구 동기 및 목표

• IoT 기기의 원격 인증 분야에서 최신 기술의 통합적 개요를 제공하기 위해.
• 소프트웨어 기반, 하드웨어 기반, 하이브리드 원격 인증 파라다임의 강점과 한계를 평가하기 위해.
• 스웜 인증, 제어 흐름 인증, 원격 코드 업데이트와 같은 신규 확장 기능을 조사하기 위해.
• 장애 탐지 및 프로토콜의 형식적 검증과 같은 열린 연구 과제를 식별하기 위해.
• 현재 RA 프로토콜의 배경이 되는 보안 특성과 적대적 가정을 평가하기 위해.

제안 방법

• 실행 방식과 신뢰 가정에 기반해 원격 인증을 소프트웨어 기반, 하드웨어 기반, 하이브리드의 세 가지 파라다임으로 분류함.
• 저전력 기기에서 신뢰할 수 있는 실행과 키 보호를 가능하게 하는 기초 구성 요소로서 보안 아키텍처를 분석함.
• 암호 기반 원리와 신뢰 모델을 포함한 단일 원격 인증 프로토콜을 암호 primitive와 함께 평가함 (예: SeED, PASTA).
• 장비 집합의 집단적 검증을 가능하게 하는 스웜 인증 프로토콜(SEDA, DIAT, SARA, PASTA, PADS)을 검토함.
• 동적 네트워크에서 확장 가능하고 분산된 인증을 위해 합의 기반 및 다중 서명 집계 기법을 도입함.
• 제어 흐름 인증 및 원격 코드 업데이트와 같은 확장 기능을 검토하여 정적 상태 검사 외의 런타임 무결성 검증을 강화함.

실험 결과

연구 질문

• RQ1 소프트웨어 기반, 하드웨어 기반, 하이브리드 원격 인증 간의 주요 차이점과 상호 간의 상충 관계는 무엇인가요?
• RQ2 현대 스웜 인증 프로토콜은 어떻게 효율적이고 확장 가능한 장비 집합 검증을 달성하면서도 보안 보장을 유지합니까?
• RQ3 동적 스웜 네트워크 내에서 고장 나거나 손상된 장치를 탐지하는 데 현재 어떤 한계가 있습니까?
• RQ4 형식적 검증 기법은 얼마나 정확하고 보안적인 원격 인증 프로토콜의 정당성을 보장할 수 있습니까?
• RQ5 제어 흐름 인증 및 원격 코드 업데이트와 같은 확장 기능은 기존 상태 인증을 초월해 보안 모델을 어떻게 향상합니까?

주요 결과

• 하이브리드 원격 인증은 소프트웨어 기반 프레임워크 내에서 보안 하드웨어 구성 요소를 활용함으로써 보안과 비용 간의 실용적 균형을 제공합니다.
• PASTA 및 PADS와 같은 스웜 인증 프로토콜은 장비 집합의 효율적 집단 검증을 가능하게 하여 개별 인증 오버헤드를 줄입니다.
• PASTA는 동적 네트워크에서 장애 내성 기능을 지원하지만, 인증 간격 동안 오프라인 상태인 장치는 신뢰할 수 없다고 간주될 수 있습니다.
• PADS는 동기화된 실시간 시계와 최소한의 합의를 사용하여 비정형 네트워크에서 비상호작용적이고 합의 기반의 인증을 가능하게 합니다.
• SARA는 비동기적이고 게시-구독 모델을 활용한 인증 집계를 제공하여 분산된 스웜 환경에서의 유연성을 확보합니다.
• VRASED는 현재까지 알려진 유일한 형식적으로 검증된 원격 인증 프로토콜로, 증명 가능하게 안전한 프로토콜 개발 분야의 심각한 격차를 드러냅니다.