Formal analysis of RFC 8120 authentication protocol for HTTP under different assumptions. - Naomi Okumura; Kazuhiro Ogata 001; Yoichi Shinoda (J. Inf. Secur. Appl., 2020)

A way to find counterexamples located at deep positions with domain knowledge of authentication protocols. - Naomi Okumura; Kazuhiro Ogata 001 (ICSCA, 2023)