A Formal Analysis Method with Reasoning for Cryptographic Protocols.

Jingchen Yan Kazunori Wagatsuma Hongbiao Gao Jingde Cheng

Published in: CIS (2016)

Keyphrases

formal analysis
information systems
similarity measure