|
Saito Takamichi
Department Undergraduate School , School of Science and Technology Position Professor |
|
| Language | English |
| Publication Date | 1999/06 |
| Type | International Conference |
| Title | Incremental Analysis and Verification of Authentication Protocols |
| Contribution Type | Co-authored (first author) |
| Journal | Proc. of the IEEE 8th Intl. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterorise(WETICE'99), Enterprise Security Workshop, IEEE Computer Society. |
| Volume, Issue, Page | (ISBN-0-7695-0365-9),pp.192-193 |
| Author and coauthor | Takamichi Saito, Wu Wen and Fumio Mizoguchi |