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