Verification of Group Key Management of IEEE 802.21 Using ProVerif

Download PDF
Open Webpage

Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama

Published: 01 Jan 2021, Last Modified: 11 Nov 2024IEICE Trans. Inf. Syst. 2021EveryoneRevisionsBibTeXCC BY-SA 4.0