Cryptology ePrint Archive: Report 2020/045

Pragmatic Authenticated Key Agreement for IEEE Std 802.15.6

Haibat Khan and 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.

Category / Keywords: cryptographic protocols / anonymity, authenticated key agreement, unlinkability, forward security

Date: received 15 Jan 2020

Contact author: Haibat Khan 2016 at live rhul ac uk

Available format(s): PDF | BibTeX Citation

Version: 20200117:082520 (All versions of this report)

Short URL: ia.cr/2020/045


[ Cryptology ePrint archive ]