Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. - Kazunori Wagatsuma; Yuichi Goto; Jingde Cheng (ICMLC, 2012)

Development of a supporting tool for translation between declarative sentences and logical formulas. - Shunsuke Nanaumi; Kazunori Wagatsuma; Yuichi Goto; Jingde Cheng (ICMLC, 2013)

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. - Shunsuke Nanaumi; Kazunori Wagatsuma; Hongbiao Gao; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2015)

A Formal Analysis Method with Reasoning for Cryptographic Protocols. - Jingchen Yan; Kazunori Wagatsuma; Hongbiao Gao; Jingde Cheng (CIS, 2016)

A Supporting Environment for Formal Analysis of Cryptographic Protocols. - Jingchen Yan; Kazunori Wagatsuma; Hongbiao Gao; Jingde Cheng (MUE/FutureTech, 2017)