1. [1] R. Noguchi, Y. Hanatani, and K. Yoneyama, “Verification of Group Key Management of IEEE 802.21 using ProVerif,” Proc. 7th ACM Workshop on ASIA Public-Key Cryptography, pp.19-27, 2020. 10.1145/3384940.3388960
2. [2] “IEEE 802.21-2017-IEEE Standard for Local and metropolitan area networks-Part 21: Media Independent Services Framework,” https://standards.ieee.org/standard/802_21-2017.html
3. [3] J. Shikata, T. Uchikoshi, M. Ebina, S. Sato, Y. Masuda, Y. Unagami, and T. Takazoe, “Security Proof of a Device Authentication Protocol for HEMS,” SCIS 2018 (in Japanese).
4. [4] B. Blanchet, B. Smyth, V. Cheval, and M. Sylvestre, “ProVerif 2.00.” http://prosecco.gforge.inria.fr/personal/bblanche/proverif
5. [5] “Open Specs | ECHONET,” https://echonet.jp/spec_v113_lite_en/