B-011
A Case Study of Formal Analysis Methods with Reasoning for Cryptographic Protocols

◎Jun Zheng・Yuichi Goto（Saitama Univ.）

The formal analysis method with reasoning is an alternative formal analysis method for cryptographic protocols. To detect flaws of cryptographic protocols that the three formal analysis method has been proposed. At present, these three methods can be used to detect the flaws. In order to check the effectiveness of the three formal analysis methods with reasoning, this article conducts a case study of thirty cryptographic protocols. As the case study, the result shows that these three methods are indeed effective for detecting the flaws of some cryptographic protocols, but some cryptographic protocols are not suitable.