Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito. Verification of Authentication Protocols Based on the Binding Relation. In Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa, editors, Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers. Volume 2609 of Lecture Notes in Computer Science, pages 299-316, Springer, 2002. [doi]
Abstract is missing.