|
Saito Takamichi
Department Undergraduate School , School of Science and Technology Position Professor |
|
| Language | English |
| Publication Date | 1999/10 |
| Type | Other |
| Title | A Verification Tool of Authentication Protocols（研究報告） |
| Contribution Type | Other |
| Author and coauthor | コンピュータセキュリティシンポジウム論文集 pp.173-177 |