Verification of Group Key Management of IEEE 802.21 Using ProVerif. - Ryoga Noguchi; Yoshikazu Hanatani; Kazuki Yoneyama (IEICE Trans. Inf. Syst., 2021)