Bo Lu, Ruohan Cao, Yueming Lu, Xueting Luo: Design and Formal Analysis of an Authentication Protocol, eWMDP on Wearable Devices. IEEE Access 7: 97771-97783 (2019)