Paper 2024/1674 Original: eprint.iacr.org/2024/1674 ↗
Provable Security Analysis of Butterfly Key Mechanism Protocol in IEEE 1609.2.1 Standard
Abstract
The paper provides the first provable security analysis of the Butterfly Key Mechanism (BKM) protocol from IEEE 1609.2.1 standard. The BKM protocol specifies a novel approach for efficiently requesting multiple certificates for use in vehicle-to-everything (V2X) communication. We define the main security goals of BKM, such as vehicle privacy and communication authenticity. We prove that the BKM protocol, with small modifications, meets those security goals. We also propose a way to significantly improve the protocol's efficiency without sacrificing security.
Metadata
- Available format(s)
PDF- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2024-10-15: last updated
- 2024-10-15: published
- Short URL
- https://ia.cr/2024/1674
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2024/1674,
author = {Alexandra Boldyreva and Virendra Kumar and Jiahao Sun},
title = {Provable Security Analysis of Butterfly Key Mechanism Protocol in IEEE 1609.2.1 Standard},
howpublished = {Cryptology {ePrint} Archive, Paper 2024/1674},
year = {2024},
url = {https://eprint.iacr.org/2024/1674}
}