Secure Multicast Group Management and Key Distribution in IEEE 802.21

Hanatani, Yoshikazu; Ogura, Naoto; Ohba, Yoshihiro; Chen, Lidong; Das, Samir R.

doi:10.1007/978-3-319-49100-4_10

Cited by 7 publications

(6 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our verification result differs from security analyses in [3], [27] as follows: First, the security analysis in [3] is for a device authentication protocol based on the GKM scheme in IEEE 802.21. However, the security proof of the part of the GKM scheme is omitted.…”

Section: Comparison To Previous Workmentioning

confidence: 81%

“…However, the security proof of the part of the GKM scheme is omitted. Next, in [27], indistinguishability of the group key of the GKM scheme (with the digital signature option) is proved. However, security of the GKM scheme without the digital signature option is not analysed.…”

Section: Comparison To Previous Workmentioning

confidence: 99%

“…On the other hand, we verify strong secrecy and authenticity of two modes (with-/without the digital signature option) of the GKM scheme for insider and outsider attacks. In particular, we show attacks to the GKM scheme without the digital signature option, that is not analysed in [27]. Also, a merit of using ProVerif is that verified security properties are easy to understand (for non-cryptographer) because each property can be verified in a separated way while the cryptographic security model in [27] is the combination of multiple properties and complicated.…”

Section: Comparison To Previous Workmentioning

confidence: 99%

“…21 [2] is used to establish a common group key for each group. Although some existing works [3], [27] gave security analysis of the scheme, hand-written security proofs are error-prone. In addition, these security proofs are the verifications in all options are valid, and the security of each option is not considered.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Verification of Group Key Management of IEEE 802.21 Using ProVerif

Noguchi

Hanatani

Yoneyama

2021

IEICE Trans. Inf. & Syst.

Self Cite

View full text Add to dashboard Cite

Home Energy Management Systems (HEMS) contain devices of multiple manufacturers. Also, a large number of groups of devices must be managed according to several clustering situations. Hence, since it is necessary to establish a common secret group key among group members, the group key management scheme of IEEE 802.21 is used. However, no security verification result by formal methods is known. In this paper, we give the first formal verification result of secrecy and authenticity of the group key management scheme of IEEE 802.21 against insider and outsider attacks using ProVerif, which is an automatic verification tool for cryptographic protocols. As a result, we clarify that a spoofing attack by an insider and a replay attack by an outsider are found for the basic scheme, but these attacks can be prevented by using the scheme with the digital signature option.

show abstract

Section: Comparison To Previous Workmentioning

confidence: 81%

Section: Comparison To Previous Workmentioning

confidence: 99%

Section: Comparison To Previous Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Verification of Group Key Management of IEEE 802.21 Using ProVerif

Noguchi

Hanatani

Yoneyama

2021

IEICE Trans. Inf. & Syst.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Therefore, the group key management (GKM) scheme of IEEE 802.21 [1] is used to establish a common group key for each group. Although some existing works [2] [26] gave security analysis of the scheme, hand-written security proofs are error-prone. Hence, security verification by formal methods is important in order to guarantee rigorous security.…”

Section: Introductionmentioning

confidence: 99%

Verification of Group Key Management of IEEE 802.21 using ProVerif

Noguchi

Hanatani

Yoneyama

2020

Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography

Self Cite

View full text Add to dashboard Cite

Home Energy Management Systems (HEMS) contain devices of multiple manufacturers. Also, a large number of groups of devices must be managed according to several clustering situations. Hence, since it is necessary to establish a common secret group key among group members, the group key management scheme of IEEE 802.21 is used. However, no security verification result by formal methods is known. In this paper, we give the first formal verification result of secrecy and authenticity of the group key management scheme of IEEE 802.21 against insider and outsider attacks using ProVerif, which is an automatic verification tool for cryptographic protocols. As a result, we clarify that a spoofing attack by an insider and a reply attack by an outsider are found for the basic scheme, but these attacks can be prevented by using the scheme with the digital signature option. CCS CONCEPTS • Security and privacy → Logic and verification.

show abstract

A Secure and Computational-Efficient Multicast Key Distribution for Wireless Networks

Rao¹,

Premchand

2018

Cognitive Informatics and Soft Computing

View full text Add to dashboard Cite

Secure Multicast Group Management and Key Distribution in IEEE 802.21

Cited by 7 publications

References 11 publications

Verification of Group Key Management of IEEE 802.21 Using ProVerif

Verification of Group Key Management of IEEE 802.21 Using ProVerif

Verification of Group Key Management of IEEE 802.21 using ProVerif

A Secure and Computational-Efficient Multicast Key Distribution for Wireless Networks

Contact Info

Product

Resources

About