Kazunori Wagatsuma

A Supporting Tool for Spiral Model of Cryptographic Protocol Design with Reasoning-Based Formal Analysis

Jingde Cheng, Yuichi Goto, Kazunori Wagatsuma, 2016 .

A Formal Analysis Method with Reasoning for Cryptographic Protocols

Jingde Cheng, Hongbiao Gao, Jingchen Yan, 2016, 2016 12th International Conference on Computational Intelligence and Security (CIS).

Predicting New Attacks: A Case Study in Security Analysis of Cryptographic Protocols

Jingde Cheng, Da Bao, Hongbiao Gao, 2016 .

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas

Jingde Cheng, Yuichi Goto, Hongbiao Gao, 2015, ACIIDS.

Development of a supporting tool for translation between declarative sentences and logical formulas

Jingde Cheng, Yuichi Goto, Kazunori Wagatsuma, 2013, 2013 International Conference on Machine Learning and Cybernetics.

Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol

Jingde Cheng, Yuichi Goto, Kazunori Wagatsuma, 2012, 2012 International Conference on Machine Learning and Cybernetics.

A Supporting Environment for Formal Analysis of Cryptographic Protocols

Jingde Cheng, Hongbiao Gao, Jingchen Yan, 2017, MUE/FutureTech.

Formalization for Formal Analysis of Cryptographic Protocols with Reasoning Approach

Jingde Cheng, Yuichi Goto, Kazunori Wagatsuma, 2014 .