花谷嘉一, 大久保美也子, 松尾真一郎, 太田和夫, 崎山一男, “CryptoVerifを用いたRFID向け相互認証プロトコルの安全性証明の検討,” 日本応用数理学会2010年度年会 FAISセッション (Sep., 2010).