Formal Analysis of the PKMv3 Protocol.

Xiaoran Zhu Yuanmin Xu Xin Li Jian Guo Huibiao Zhu Phan Cong Vinh

Published in: Mob. Networks Appl. (2018)

Keyphrases

formal analysis
ban logic
formal methods
payment protocol
agent model
low cost
power consumption
communication protocol