Verification of Authentication Protocols Based on the Binding Relation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Masami Hagiya' in GoogleThis author has not been identified. Look up 'Ryo Takemura' in GoogleThis author has not been identified. Look up 'Koichi Takahashi' in GoogleThis author has not been identified. Look up 'Takamichi Saito' in Google

runs on WebDSL