Imamoto Kenji

发表

Design and Security Verification of One-time ID Key-Exchange Protocol by Modal Logic

Sakurai Kouichi, Imamoto Kenji, 2005 .

Verification Methods for Security Protocols (1) -- Typical Errors in Security Proofs for Key Exchange Protocols

Imamoto Kenji, 2006 .

A Report on the 4th Annual PKI R&D Workshop

Sakurai Kouichi, Imamoto Kenji, 2005 .

An improved attack on a receipt-free and universally verifiable mix-type voting scheme

Sakurai Kouichi, Imamoto Kenji, Her Yong-Sork, 2004 .