|
Saito Takamichi
Department Undergraduate School , School of Science and Technology Position Professor |
|
| Language | English |
| Publication Date | 2007 |
| Type | International Conference |
| Title | A Scenario-Based Protocol Checker for Public-Key Authentication Scheme |
| Contribution Type | Sole-authored |
| Journal | Proc. of IPDPS 2007, IEEE Computer Society. |