Algebraic Formalization and Verification of PKMv3 Protocol using Maude. - Jia She; Xiaoran Zhu; Min Zhang 002 (SEKE, 2017)