Sign in

A Supporting Environment for Formal Analysis of Cryptographic Protocols.

Jingchen YanKazunori WagatsumaHongbiao GaoJingde Cheng
Published in: MUE/FutureTech (2017)
Keyphrases
  • formal analysis
  • cryptographic protocols
  • agent model
  • formal methods
  • real time
  • sensor networks