[논문 리뷰] Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks

Yasser Shoukry, Paul Martin외 3명|arXiv (Cornell University)|2016. 05. 06.

Physical Unclonable Functions (PUFs) and Hardware Security인용 수 7

한 줄 요약

이 논문은 무작위로 변조된 물리적 신호로 환경을 탐사하고 응답을 물리 법칙에 따라 검증함으로써 활성 센서의 보안을 향상시키는 물리적 챌린지-응답 인증 기법인 PyCRA를 제안한다. 물리적 동역학의 불변성을 활용하여 아날로그 도메인에서 무결성 공격을 탐지하고 저항하며, 자기 센서와 RFID 태그에서 이론적 및 실증적 검증을 통해 가짜 및 혼란 단계에서의 저항성을 입증한다.

ABSTRACT

Embedded sensing systems are pervasively used in life- and security-critical systems such as those found in airplanes, automobiles, and healthcare. Traditional security mechanisms for these sensors focus on data encryption and other post-processing techniques, but the sensors themselves often remain vulnerable to attacks in the physical/analog domain. If an adversary manipulates a physical/analog signal prior to digitization, no amount of digital security mechanisms after the fact can help. Fortunately, nature imposes fundamental constraints on how these analog signals can behave. This work presents PyCRA, a physical challenge-response authentication scheme designed to protect active sensing systems against physical attacks occurring in the analog domain. PyCRA provides security for active sensors by continually challenging the surrounding environment via random but deliberate physical probes. By analyzing the responses to these probes, and by using the fact that the adversary cannot change the underlying laws of physics, we provide an authentication mechanism that not only detects malicious attacks but provides resilience against them. We demonstrate the effectiveness of PyCRA through several case studies using two sensing systems: (1) magnetic sensors like those found wheel speed sensors in robotics and automotive, and (2) commercial RFID tags used in many security-critical applications. Finally, we outline methods and theoretical proofs for further enhancing the resilience of PyCRA to active attacks by means of a confusion phase---a period of low signal to noise ratio that makes it more difficult for an attacker to correctly identify and respond to PyCRA's physical challenges. In doing so, we evaluate both the robustness and the limitations of PyCRA, concluding by outlining practical considerations as well as further applications for the proposed authentication mechanism.

연구 동기 및 목표

• 디지털 보안 메커니즘을 우회하는 물리 계층 무결성 공격으로부터 임베디드 센서의 취약성을 해결한다.
• 디지타이제이션 이전에 스푸핑 및 조작을 탐지하기 위해 아날로그 신호 수준에서 작동하는 런타임 인증 메커니즘을 개발한다.
• 센서 응답을 지배하는 물리 법칙을 활용하여 조작에 저항하는 본질적으로 강건한 신뢰 모델을 구축한다.
• 자기 센서와 RFID 태그를 포함한 실제 활성 센싱 시스템에서 이 방법의 실현 가능성과 강건성을 입증한다.
• 공격자가 응답을 예측하거나 모의하기를 어렵게 하기 위해 도메인 내에서 신호 대 잡음 비율을 낮추는 혼란 단계를 도입한다.

제안 방법

• 환경에 무작위로 변조된 물리적 프로브(예: 전자기적 또는 기계적 신호)를 방출하는 활성 센서를 사용한다.
• 자연적인 물리 법칙이 가능한 응답을 제약한다는 사실에 기반하여 프로브에 대한 환경의 물리적 응답을 측정한다.
• 주어진 챌린지 하에서 예상되는 물리적 행동과 일치하는지 검증함으로써 센서 출력을 인증한다.
• 공격자가 정확한 응답을 예측하거나 모의하기 어려워지도록, 의도적으로 신호 대 잡음 비율을 낮추는 혼란 단계를 적용한다.
• 공격 하에서 정확한 응답 일치 확률이 α로 제한되는 확률적 프레임워크를 사용하여 시스템을 모델링하며, 이는 渐진적 탐지 신뢰도를 보장한다.
• 확률 과정과 가능도 함수를 사용하여 탐지 및 복구를 수식화하여 공격 탐지 확률과 오진 발생 확률을 정량화한다.

실험 결과

연구 질문

• RQ1 물리 법칙은 아날로그 도메인에서 센서 데이터를 인증하기 위한 신뢰 기반으로 사용될 수 있는가?
• RQ2 활성 센싱을 어떻게 활용하여 기존 디지털 보안 메커니즘을 우회하는 무결성 공격을 탐지할 수 있는가?
• RQ3 통제된 혼란 단계가 물리적 채널-응답 시스템에서 공격자가 응답을 위조하는 데 미치는 영향은 무엇인가?
• RQ4 PyCRA는 자기 센서와 RFID 태그와 같은 실제 활성 센서에서 스푸핑 공격을 얼마나 잘 탐지하고 복구할 수 있는가?
• RQ5 공격 조건 하에서 PyCRA의 탐지 확률과 오진률에 대해 수립할 수 있는 이론적 한계는 무엇인가?

주요 결과

• PyCRA는 공격자가 아날로그 신호 경로를 제어하더라도 챌린지와 응답 간의 물리적 일관성을 검증함으로써 활성 센서의 무결성 공격을 성공적으로 탐지한다.
• 공격 탐지에 대해 점점 증가하는 탐지 확률 α를 달성하며, Pr(τ = Γ + 1) ≈ α를 만족한다. 여기서 τ는 탐지 시간이고, Γ는 공격 발생 시간이다.
• 혼란 단계는 공격자가 정확한 응답을 예측하거나 모의하는 능력을 크게 떨어뜨려 공격의 실질적 비용을 증가시킨다.
• 실증 평가 결과, PyCRA는 자기 센서와 상용 RFID 태그에서 현실적인 조건 하에서도 스푸핑 공격 탐지에 효과적임을 입증한다.
• 이론적 분석을 통해 탐지 메커니즘이 다양한 신호 대 잡음 비율과 공격자의 탐지 전략에 대해 강건함을 확인한다.
• 공격자가 아날로그 신호 경로를 완전히 제어하더라도 물리 법칙을 위반하지 않는 한 응답이 이루어지는 한, 이 방법은 높은 강건성을 유지한다.