Design and Formal Analysis of an Authentication Protocol, eWMDP on Wearable Devices.

Bo Lu Ruohan Cao Yueming Lu Xueting Luo

Published in: IEEE Access (2019)

Keyphrases

formal analysis
ban logic
authentication protocol
formal methods
wearable devices
smart card
real time
user interface
software architecture