IEEE - Institute of Electrical and Electronics Engineers, Inc. - Design and Formal analysis of An Authentication Protocol, eWMDP on Wearable Devices

Author(s): Bo Lu ; Ruohan Cao ; Yueming Lu ; Xueting Luo
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Electronic): 2169-3536
DOI: 10.1109/ACCESS.2019.2927772
Regular:

For wearable devices, this paper proposes an authentication protocol eWMDP. We formally model and analyze it. In the execution model of the protocol, a Dolev-Yao adversary is constituted. With the... View More

Advertisement