Formal security analysis of an IoT mutual authentication protocol
, and
ITM Web Conf., 52 (2023) 01003
Published online: 08 May 2023
DOI: 10.1051/itmconf/20235201003

