長谷部 浩二(ハセベ コウジ)

研究者情報全体を表示

論文

• 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