Merkliste 
 1 Ergebnisse 
 
1

Formal Analysis of the PKMv3 Protocol:

Zhu, Xiaoran ; Xu, Yuanmin ; Li, Xin...
Mobile Networks and Applications.  23 (2017)  1 - p. 44-56 , 2017