Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng. A Formal Analysis Method with Reasoning for Cryptographic Protocols. In 12th International Conference on Computational Intelligence and Security, CIS 2016, Wuxi, China, December 16-19, 2016. pages 566-570, IEEE, 2016. [doi]
Abstract is missing.