Efficient Inter-Cloud Authentication and Micropayment Protocol for IoT Edge Computing
Mohamed Seifelnasr, Riham AlTawy, Amr Youssef
Abstract
In this paper, we present a <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\textsf {S}$ </tex-math></inline-formula> ymmetric <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\textsf {K}$ </tex-math></inline-formula> ey <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\textsf {I}$ </tex-math></inline-formula> nter- <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\textsf {C}$ </tex-math></inline-formula> loud <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\textsf {A}$ </tex-math></inline-formula> uthentication and redeemable micropayment <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\textsf {P}$ </tex-math></inline-formula> rotocol ( <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\textsf {SKICAP}$ </tex-math></inline-formula> ) for IoT-Edge computing applications. The proposed protocol takes into account the mobile and limited resource nature of IoT devices by enabling them to register with their home cloud admin for computation offloading service provided by foreign Edge-Cloud instances. More precisely, <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\textsf {SKICAP}$ </tex-math></inline-formula> ensures that mobile IoT devices can be authenticated and serviced by edge nodes outside of their home cloud coverage, while guaranteeing the associated charge redemption. Additionally, since our protocol considers the mobile and anywhere deployable requirements of IoT devices, we utilize physical unclonable function and cryptographic hash function to make it privacy-preserving and resilient to hardware compromise. Under the assumption of an indistinguishably secure physical unclonable function, we provide a formal security analysis of our protocol. Finally, we report <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\textsf {SKICAP}$ </tex-math></inline-formula> performance on an ARM Cortex-A72 processor, and compare it with other closely related protocols.