Pragmatic authenticated key agreement for IEEE Std 802.15.6

The IEEE Std 802.15.6 is the latest international standard for Wireless Body Area Networks. 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...

Full description

Saved in:
Bibliographic Details
Published inInternational journal of information security Vol. 21; no. 3; pp. 577 - 595
Main Authors Khan, Haibat, Dowling, Benjamin, Martin, Keith M.
Format Journal Article
LanguageEnglish
Published Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2022
Springer Nature B.V
Subjects
Agreements
Body area networks
Coding and Information Theory
Communications Engineering
Computer Communication Networks
Computer Science
Cryptology
Management of Computing and Information Systems
Networks
Operating Systems
Privacy
Protocol (computers)
Provisioning
Regular Contribution
Site planning
Anonymity
Privacy
Forward-secrecy
Key-exchange protocols
Unlinkability
Online AccessGet full text

Cover

More Information
Summary:The IEEE Std 802.15.6 is the latest international standard for Wireless Body Area Networks. 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 fulfills 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. We develop a formal security and privacy model in an appropriate complexity-theoretic framework and prove the proposed protocols secure in this model.
ISSN:1615-5262
1615-5270
DOI:10.1007/s10207-021-00570-7