Yoshikazu HanataniI, Miyako Ohkubo, Shin’ichiro Matsuo, Kazuo Sakiyama, Kazuo Ohta, “A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous RFID Authentication,” In Proc. Real-Life Cryptographic Protocols and Standarization (RLCPS’11), LNCS 7126, Springer-Verlag, pp.70–87 (Feb., 2011).