Shogo Anze

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

Jingde Cheng, Yuichi Goto, Kazunori Wagatsuma, 2016 .

Formalization for Formal Analysis of Cryptographic Protocols with Reasoning Approach

Jingde Cheng, Yuichi Goto, Kazunori Wagatsuma, 2014 .