Design and Formal Analysis of an Authentication Protocol, eWMDP on Wearable Devices
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2927772
Abstract: 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 above, various security properties can… read more here.
Keywords: authentication protocol; wearable devices; protocol ewmdp; protocol ... See more keywords