|
Saito Takamichi
Department Undergraduate School , School of Science and Technology Position Professor |
|
| Language | English |
| Publication Date | 2009 |
| Type | Academic Journal |
| Title | A Scenario-Based Protocol Checker for the Public-Key Authentication Scheme |
| Contribution Type | Sole-authored |
| Journal | IEICE TRANSACTIONS on Information and Systems |
| Volume, Issue, Page | Vol.E92-D(6),pp.1268-1279 |