[논문 리뷰] Take a Bite of the Reality Sandwich: Revisiting the Security of Progressive Message Authentication Codes

Eric Wagner, Jan Bauer외 1명|arXiv (Cornell University)|2021. 03. 15.

Network Security and Intrusion Detection참고 문헌 74인용 수 5

한 줄 요약

이 논문은 기존 점진적 메시지 인증 코드(ProMACs)에 심각한 취약점을 규명하며, 공격자가 단 두 개의 패킷을 삭제하기만 해도 전체 메시지 시퀀스를 손상시킬 수 있는 '샌드위치 공격'을 악용할 수 있음을 밝힌다. 이를 해결하기 위해 저자는 태그 검증을 순차적 메시지 무결성과 분리하는 랜덤화된 종속성 모델인 R2-D2와, XOR 연산을 사용해 자원 사용을 최소화하면서도 패킷 손실 및 네트워크 수준의 공격에 강력한 저항성을 확보하는 경량 구현인 SP-MAC을 제안한다. 이는 이전의 보안이 확보되지 않은 ProMAC 기반 솔루션과 동일한 효율성을 유지는 하되, 더 높은 보안성을 확보한다.

ABSTRACT

Message authentication guarantees the integrity of messages exchanged over untrusted channels. However, to achieve this goal, message authentication considerably expands packet sizes, which is especially problematic in constrained wireless environments. To address this issue, progressive message authentication provides initially reduced integrity protection that is often sufficient to process messages upon reception. This reduced security is then successively improved with subsequent messages to uphold the strong guarantees of traditional integrity protection. However, contrary to previous claims, we show in this paper that existing progressive message authentication schemes are highly susceptible to packet loss induced by poor channel conditions or jamming attacks. Thus, we consider it imperative to rethink how authentication tags depend on the successful reception of surrounding packets. To this end, we propose R2-D2, which uses randomized dependencies with parameterized security guarantees to increase the resilience of progressive authentication against packet loss. To deploy our approach to resource-constrained devices, we introduce SP-MAC, which implements R2-D2 using efficient XOR operations. Our evaluation shows that SP-MAC is resilient to sophisticated network-level attacks and operates as resources-conscious and fast as existing, yet insecure, progressive message authentication schemes.

연구 동기 및 목표

• 패킷 손실 또는 네트워크 수준의 공격 상황에서 기존 점진적 메시지 인증 코드(ProMACs)의 보안 취약점을 규명하고 분석한다.
• ProMACs에서 태그 검증성에 영향을 미치는 패킷 손실의 부작용을 해결함으로써 전체 메시지 시퀀스의 무결성을 유지한다.
• 태그 검증을 순차적 메시지 종속성과 분리함으로써 대규모 무결성 실패를 방지할 수 있는 내구성 있는, 파rameterized 종속성 모델을 설계한다.
• 제한된 장치에 적합한 자원 효율적인 ProMAC 스킴을 설계하여 강력한 보안을 확보하면서도 성능을 희생시키지 않는다.
• 복잡한 네트워크 수준의 공격에 대비한 제안된 스킴의 내구성을 평가하면서도, 계산 및 대역폭 오버헤드를 최소화한다.

제안 방법

• 보안 수준을 사전 정의한 조건에서 최적의 메시지 종속성을 정의하고 검증 지연을 최소화하기 위해 골롬 척도를 사용하는 일반적인 프레임워크인 R2-D2를 제안한다.
• R2-D2에 랜덤화된 비트 종속성을 도입하여 태그 검증을 연속되지 않는 메시지에 분산시킴으로써 예측 가능성을 낮추고 공격 표면을 축소한다.
• 기본적으로 즉각적인 보호 비트를 포함하여, 전체 종속성 체인이 구축되기 전에도 조기에 검증 보장을 제공할 수 있도록 한다.
• 자원이 제한된 장치에서의 계산 비용을 최소화하기 위해 효율적인 XOR 기반 연산을 사용한 R2-D2의 구체적 구현인 SP-MAC을 설계한다.
• 직접적인 메시지 순서에 종속되지 않고, 비연속적인 패킷에 걸쳐 종속성을 분산시킴으로써 태그 검증을 분리함으로써 한 번의 패킷 손실로 전체 시퀀스가 무효화되는 것을 방지한다.
• 기존의 안전한 MAC 스킴을 빌딩 블록으로 사용하여, XOR을 통해 그 출력을 여러 메시지에 걸쳐 집계하고 분산시킴으로써 강력한 보안 보장을 유지한다.

실험 결과

연구 질문

• RQ1 기존 ProMAC 스킴은 절차적 패킷 손실이나 네트워크 수준의 간섭(예: 잡기 공격 등)에 견딜 수 있는가?
• RQ2 ProMAC 태그의 순차적 종속성은 얼마나 심각한 취약성을 노출시키며, 두 개의 전략적으로 선택된 패킷을 삭제하기만 해도 전체 메시지 시퀀스의 무결성이 무너지는 '샌드위치 공격'에 얼마나 취약한가?
• RQ3 태그 종속성을 어떻게 재구성하면 패킷 손실에 대한 내구성을 높이면서도 낮은 검증 지연과 강력한 보안 보장을 유지할 수 있는가?
• RQ4 기존의 보안이 확보되지 않은 프로토타입과 동등한 성능을 유지는 하면서도 보안성과 자원 친화성을 확보한 ProMAC 스킴을 설계할 수 있는가?
• RQ5 랜덤화된 종속성과 파arameterized 보안 수준은 실제 채널 조건 하에서 점진적 인증의 강건성에 어떤 역할을 하는가?

주요 결과

• 기존 ProMAC 스킴은 공격자가 단 두 개의 적절히 선택된 패킷을 삭제하기만 해도 전체 메시지 시퀀스의 무결성 보호를 해제할 수 있는 '샌드위치 공격'에 취약하다.
• 현재 ProMACs의 종속성 구조는 과거 메시지의 슬라이딩 윈도우에 의존하므로, 패킷 손실 상황에서 치명적인 단일 실패점이 된다.
• R2-D2는 골롬 척도를 사용해 비연속적인 최적의 메시지 종속성을 정의함으로써 검증 지연과 공격 표면을 최소화함으로써 내구성을 크게 향상시킨다.
• R2-D2의 랜덤화된 종속성 모델은 예측 가능성을 낮추고 공격자가 최소한의 간섭으로 여러 메시지를 안정적으로 손상시키는 것을 방지한다.
• SP-MAC는 기존 ProMACs와 유사한 검증 지연을 유지하면서도 정교한 네트워크 수준의 공격과 패킷 손실에 강력한 저항성을 확보한다.
• SP-MAC는 현재의 보안이 확보되지 않은 ProMAC 스킴과 동일한 자원 친화성과 속도를 확보하여, 산업 제어 시스템 및 무선 센서 네트워크와 같은 대역폭, 에너지, 지연 시간이 제한된 환경에서의 구현에 적합하다.