Kazunori Wagatsuma

According to our database, Kazunori Wagatsuma authored at least 5 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

A Supporting Environment for Formal Analysis of Cryptographic Protocols.

Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng

Proceedings of the Advanced Multimedia and Ubiquitous Engineering, 2017

2016

A Formal Analysis Method with Reasoning for Cryptographic Protocols.

Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng

Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016

2015

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas.

Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng

Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015

2013

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

Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng

Proceedings of the International Conference on Machine Learning and Cybernetics, 2013

2012

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

Proceedings of the International Conference on Machine Learning and Cybernetics, 2012