|
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 |