Hasebe Koji

Researcher's full information

Articles
  • A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic
    Koji Hasebe; Mitsuhiro Okada
    Proceedings of the International Symposium on Software Security 2002/LNCS 2609/p.417-440, 2003-02