Sign in

Formal Analysis of the PKMv3 Protocol.

Xiaoran ZhuYuanmin XuXin LiJian GuoHuibiao ZhuPhan 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