Sign in
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