A Supporting Environment for Formal Analysis of Cryptographic Protocols.

Jingchen Yan Kazunori Wagatsuma Hongbiao Gao Jingde Cheng

Published in: MUE/FutureTech (2017)

Keyphrases

formal analysis
cryptographic protocols
agent model
formal methods
real time
sensor networks