Saito Takamichi
   Department   Undergraduate School  , School of Science and Technology
   Position   Professor
Language English
Publication Date 2003/02
Type Academic Journal
Title Verification of Authentication Protocols Based on the Binding Relation
Contribution Type Co-authored (other than first author)
Journal Software Security--Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Revised Papers, Lecture Notes in Computer Science, Springer
Volume, Issue, Page Vol.2609,pp.299-316
Author and coauthor Masami Haigya, Ryo Takemura Koichi Takahashi, and Takamichi Saito