[논문 리뷰] Secure Lightweight Authentication for Multi User IoT Environment

Chintan Patel|arXiv (Cornell University)|2022. 07. 21.

Advanced Authentication Protocols Security인용 수 4

한 줄 요약

이 논문은 타원 곡선 암호화(ECC)와 MQTT 프로토콜을 사용하여 다중 사용자 IoT 환경에서 경량이며 안전한 원격 인증 프로토콜을 제안한다. AVISPA와 BAN 논리의 공식적 검증을 통해 강력한 보안을 확보하면서도 계산 및 통신 비용을 줄여, 4.5003ms의 계산 비용과 992비트의 통신 비용을 기록하여 기존 기법들에 비해 효율성과 일반적인 암호 해킹 위협에 대한 저항력에서 뛰어난 성능을 보인다.

ABSTRACT

The Internet of Things (IoT) is giving a boost to a plethora of new opportunities for the robust and sustainable deployment of cyber physical systems. The cornerstone of any IoT system is the sensing devices. These sensing devices have considerable resource constraints, including insufficient battery capacity, CPU capability, and physical security. Because of such resource constraints, designing lightweight cryptographic protocols is an opportunity. Remote User Authentication ensures that two parties establish a secure and durable session key. This study presents a lightweight and safe authentication strategy for the user-gateway (U GW) IoT network model. The proposed system is designed leveraging Elliptic Curve Cryptography (ECC). We undertake a formal security analysis with both the Automated Validation of Internet Security Protocols (AVISPA) and Burrows Abadi Needham (BAN) logic tools and an information security assessment with the Delev Yao channel. We use publish subscribe based Message Queuing Telemetry Transport (MQTT) protocol for communication. Additionally, the performance analysis and comparison of security features show that the proposed scheme is resilient to well known cryptographic threats.

연구 동기 및 목표

• 자원 제약이 심한 IoT 장치를 다중 사용자 환경에서 최소한의 계산 및 통신 오버헤드로 보호하는 데 도전 과제를 해결한다.
• IoT 시스템에서 사용자-게이트웨이(U-GW) 간 통신을 위한 안전하고 확장 가능한 인증 메커니즘을 설계한다.
• 현실적인 제약 조건 하에서 재생, 위장, 키 泄露 등의 일반적인 암호 공격에 저항할 수 있도록 보장한다.
• 계산 비용, 통신 비용, 엔드 투 엔드 지연, 패킷 손실, 처리량 측면에서 성능을 최적화한다.
• 경량 하드웨어(예: 라즈베리 파이)와 MQTT와 같은 표준 프로토콜을 사용하여 실용적인 구현을 가능하게 한다.

제안 방법

• 기존 공개 키 시스템에 비해 계산 부담을 줄이는 타원 곡선 암호화(ECC)를 활용하여 효율적인 키 생성과 안전한 인증을 수행한다.
• 사용자와 게이트웨이 간의 경량이며 저대역폭 통신을 위해 메시지 큐잉 텔레메트리 프로토콜(MQTT)의 게시/구독 기반 아키텍처를 적용한다.
• 사용자 식별자, 난수, 타임스탬프 및 ECC 기반 공개 키 연산을 포함한 두 메시지 인증 교환을 통해 공유 세션 키를 설정한다.
• 상호 인증과 키 비밀 유지성 검증을 위해 AVISPA와 BAN 논리를 사용한 공식적 보안 분석을 적용한다.
• 기호적 위협 모델 하에서 위협 저항력을 평가하기 위해 Dolev-Yao 모델을 활용한 비공식적 보안 평가를 수행한다.
• 파이썬을 사용하여 라즈베리 파이와 nodeMCU 장치에 프로토콜를 구현하고, 위reshark 및 커스텀 스크립트를 통해 성능 및 네트워킹 메트릭을 수집한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 IoT 센서 장치의 엄격한 자원 제약 조건을 충족하면서도 강력한 보안 보장을 확보할 수 있는 경량 인증 프로토콜을 설계할 수 있는가?
• RQ2 제안된 기법이 재생, 위장, 키 泄露 등의 잘 알려진 암호 공격에 얼마나 잘 저항하는가?
• RQ3 기존 유사 기법들과 비교할 때, 계산 비용, 통신 비용, 엔드 투 엔드 지연, 처리량 측면에서 성능은 어떻게 다른가?
• RQ4 AVISPA와 BAN 논리와 같은 공식적 검증 도구가 IoT 환경에서 제안된 프로토콜의 보안 성질을 효과적으로 검증할 수 있는가?
• RQ5 MQTT를 통신 계층으로 사용할 때, 저전력 IoT 장치에 실제로 적용했을 경우 프로토콜의 실세계 성능은 어떠한가?

주요 결과

• 제안된 기법은 약 4.5003ms의 총 계산 비용을 기록하여 기존 기법들인 [31] (8.9339ms) 및 [12] (13.4078ms)에 비해 뚜렷이 낮은 비용을 기록한다.
• 통신 비용은 세션당 992비트로 줄어들었으며, 이는 [12], [28], [29], [30], [31]의 기법들보다 낮아 대역폭 효율성이 뛰어나다는 것을 보여준다.
• 실제 IoT 하드웨어에서 Wireshark 및 파이썬 기반 네트워크 분석을 통해 라운드트립 지연과 패킷 손실을 줄이고 처리량을 증가시켜 성능 향상을 입증하였다.
• AVISPA와 BAN 논리를 사용한 공식적 검증을 통해 프로토콜이 재생 및 위장 공격과 같은 일반적인 위협에 저항한다는 점이 확인되었다.
• 라즈베리 파이와 nodeMCU에 대한 구현을 통해 저자원 IoT 장치에 이 기법을 구현할 수 있으며 성능 저하가 최소한임을 확인하였다.
• ECC 기반 연산(2 $T_{Pm}$, 5 $T_{Syn}$, 11 $T_{h}$)을 사용함으로써 최소한의 계산 오버헤드로 강력한 보안을 확보할 수 있어 배터리 구동 및 임베디드 IoT 시스템에 적합하다.