Paper 2020/045
Pragmatic Authenticated Key Agreement for IEEE Std 802.15.6
Haibat Khan, Benjamin Dowling, and Keith M. Martin
Abstract
The IEEE Std 802.15.6 is the latest international standard for Wireless Body Area Networks (WBANs). The security of communication in this standard is based upon four elliptic-curve based key agreement protocols. These protocols have been shown to exhibit serious security vulnerabilities but surprisingly, do not provision any privacy guarantees. To date, no suitable key agreement protocol has been proposed which fulfils all the requisite objectives for IEEE Std 802.15.6. In this paper two key agreement protocols are presented which, in addition to being efficient and provisioning advance security properties, also offer the essential privacy attributes of anonymity and unlinkability. The protocols are also quantum-safe as they are independent of any public-key based operations. We develop a formal security and privacy model in an appropriate complexity-theoretic framework and prove the proposed protocols secure in this model.
Metadata
- Available format(s)
- Category
- Cryptographic protocols
- Publication info
- Preprint. MINOR revision.
- Keywords
- anonymityauthenticated key agreementunlinkabilityforward security
- Contact author(s)
- Haibat Khan 2016 @ live rhul ac uk
- History
- 2020-01-17: received
- Short URL
- https://ia.cr/2020/045
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2020/045, author = {Haibat Khan and Benjamin Dowling and Keith M. Martin}, title = {Pragmatic Authenticated Key Agreement for {IEEE} Std 802.15.6}, howpublished = {Cryptology {ePrint} Archive, Paper 2020/045}, year = {2020}, url = {https://eprint.iacr.org/2020/045} }