Verification of Group Key Management of IEEE 802.21 using ProVerif-Reference-Cited by-同舟云学术

Verification of Group Key Management of IEEE 802.21 using ProVerif

Published:2020-10-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography
language:
Short-container-title:

Author:

Noguchi Ryoga¹,Hanatani Yoshikazu²,Yoneyama Kazuki¹

Affiliation:

1. Ibaraki University, Hitachi, Japan

2. Toshiba Corporation, Kawasaki, Japan

Funder

JSPS KAKENHI

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3384940.3388960

Reference26 articles.

1. "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 "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

2. Junji Shikata Tadahiro Uchikoshi Masahiro Ebina Shingo Sato Yoichi Masuda Yuji Unagami Tomoki Takazoe "Security Proof of a Device Authentication Protocol for HEMS " SCIS 2018 (in Japanese) Junji Shikata Tadahiro Uchikoshi Masahiro Ebina Shingo Sato Yoichi Masuda Yuji Unagami Tomoki Takazoe "Security Proof of a Device Authentication Protocol for HEMS " SCIS 2018 (in Japanese)

3. B.Blanchet B.Smyth V.Cheval M.Sylvestre "ProVerif 2.00." http://prosecco.gforge.inria.fr/personal/bblanche/proverif B.Blanchet B.Smyth V.Cheval M.Sylvestre "ProVerif 2.00." http://prosecco.gforge.inria.fr/personal/bblanche/proverif

4. "Open Specs | ECHONET " https://echonet.jp/spec_v113_lite_en/ "Open Specs | ECHONET " https://echonet.jp/spec_v113_lite_en/

5. "IEC 62394:2017 - Service diagnostic interface for consumer electronics products and networks - Implementation for ECHONET " https://webstore.iec.ch/publication/32738 "IEC 62394:2017 - Service diagnostic interface for consumer electronics products and networks - Implementation for ECHONET " https://webstore.iec.ch/publication/32738

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of Group Key Management of IEEE 802.21 Using ProVerif;IEICE Transactions on Information and Systems;2021-10-01