HASEBE Koji

Researcher's full information

Articles
  • Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
    Koji Hasebe; Mitsuhiro Okada
    Proceedings of the Workshop on Foundations of Computer Security/31/p.97-113, 2004-07
  • FATALIS: Real Time Processes as Linear Logic Specifications
    Vincent Cremet; Koji Hasebe; Jean-Pierre Jouannaud; Antoine ...
    2nd International Workshop on Automated Verification of Inifinite-State Systems, 2003
  • 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