[논문 리뷰] Acoustic Integrity Codes: Secure Device Pairing Using Short-Range Acoustic Communication

Florentin Putz, María Flor Álvarez Taboada외 1명|arXiv (Cornell University)|2020. 05. 18.

User Authentication and Security Systems참고 문헌 36인용 수 4

한 줄 요약

이 논문은 표준 스마트폰의 저거리 음성 통신을 활용해 보안적인 기기 간 페어링을 가능하게 하는 물리계층 보안 기법인 음향 무결성 코드(Acoustic Integrity Codes, AICs)를 제안한다. 저자기상성 신호와 임계값을 갖는 삼항 결정 함수를 활용함으로써 AICs는 신호 차단 공격과 가림 공격에 저항하며, 100 bps에서 14 dB SNR 조건 하에서 비트 오류율(BER)이 0.1% 이하로 유지된다.

ABSTRACT

Secure Device Pairing (SDP) relies on an out-of-band channel to authenticate devices. This requires a common hardware interface, which limits the use of existing SDP systems. We propose to use short-range acoustic communication for the initial pairing. Audio hardware is commonly available on existing off-the-shelf devices and can be accessed from user space without requiring firmware or hardware modifications. We improve upon previous approaches by designing Acoustic Integrity Codes (AICs): a modulation scheme that provides message authentication on the acoustic physical layer. We analyze their security and demonstrate that we can defend against signal cancellation attacks by designing signals with low autocorrelation. Our system can detect overshadowing attacks using a ternary decision function with a threshold. In our evaluation of this SDP scheme's security and robustness, we achieve a bit error ratio below 0.1% for a net bit rate of 100 bps with a signal-to-noise ratio (SNR) of 14 dB. Using our open-source proof-of-concept implementation on Android smartphones, we demonstrate pairing between different smartphone models.

연구 동기 및 목표

• 일상적인 컴퓨팅 환경에서 보안적인 기기 간 페어링(SDP)을 위한 사용 가능한 하드웨어 독립적 외부 채널의 부족을 해결한다.
• NFC, 카메라, 진동 모터 등 전용 하드웨어에 의존하는 기존 SDP 기법의 한계를 극복한다.
• 표준 스마트폰에 내장된 스피커와 마이크만으로도 보안적이고 상호작용 최소화된 페어링을 가능하게 한다.
• 기존 음향 SDP 프rotocol에서 흔히 요구되던 수동 검증 단계가 제거되는 물리계층 인증 메커니즘을 설계한다.
• 음향 채널에서 신호 차단 및 신호 가림 공격과 같은 능동적 공격에 대한 강건성을 확보한다.

제안 방법

• Čapkun 등이 제안한 무결성 코드를 기반으로 하되, 음향 웨이브폼에 적합하게 조정한 음향 무결성 코드(AICs)를 설계한다.
• 저자기상성(예: 정규분포)을 가진 신호를 사용하여, 슬롯 내 및 슬롯 외 에너지 간 상관관계를 최소화함으로써 신호 차단 공격에 저항한다.
• 수신단에서 가변 탐지 임계값을 갖는 삼항 결정 함수를 구현하여 악성 신호를 탐지하고 거부한다.
• 합법적인 슬롯과 공격자에 의한 변조된 신호를 구분하기 위해 결정 함수를 적용함으로써 신호 가림 공격을 탐지한다.
• 대역폭, 신호대임계비(SNR), 총 비트율 등 시스템 파라미터를 최적화하여 강건성과 데이터 전송 속도의 균형을 이룬다.
• 펌웨어나 하드웨어 수정 없이 사용자 영역 음성 I/O를 활용해 안드로이드 스마트폰에서 개념 증명을 구현한다.

실험 결과

연구 질문

• RQ1 특수 하드웨어가 필요 없이 음향 통신을 보안적이고 하드웨어 독립적인 외부 채널로 활용할 수 있는가?
• RQ2 음향 채널에서 신호 차단 및 가림 공격을 방지하기 위해 물리계층의 무결성을 어떻게 확보할 수 있는가?
• RQ3 실제 채널 조건 하에서 낮은 비트 오류율을 달성하기 위해 필요한 신호 설계 파라미터(예: 자기상관, 대역폭, SNR)는 무엇인가?
• RQ4 임계값을 갖는 삼항 결정 함수가 노이즈 및 간섭에 강건성을 유지하면서도 얼마나 효과적으로 능동적 공격을 탐지할 수 있는가?
• RQ5 표준 안드로이드 기기에서 오직 음성 하드웨어만을 사용해 실용적이고 오픈소스의 SDP 프로토콜을 구현할 수 있는가?

주요 결과

• AICs는 총 비트율 100 bps, 신호대임계비 14 dB 조건에서 비트 오류율(BER)이 0.1% 이하로 유지되어 현실 조건 하에서도 높은 신뢰성을 입증한다.
• 총 비트율이 450 bps 이하이고 SNR가 11 dB 이상일 경우, 대역폭이 4 kHz를 초과할 경우 BER은 1% 이하로 유지된다.
• 저자기상성(예: 정규분포)을 가진 신호를 사용함으로써 신호 차단 공격이 효과적으로 완화된다.
• 삼항 결정 함수는 합법적인 온/오프 슬롯과 공격자에 의해 주입된 신호를 구분함으로써 신호 가림 공격을 성공적으로 탐지한다.
• 탐지 임계값은 BER에 큰 영향을 미치며, 평균 신호 전력보다 약간 낮게 설정할 경우 최적의 성능을 발휘한다. 이는 ISI 유도 오류와 거짓 음성 감소를 방지한다.
• 낮은 비트율에서 인터심볼 간섭(ISI)이 감소함에 따라 강건성이 향상되며, 저속 전송에서는 탐지 임계값의 유효 범위가 넓어진다.