| |
| 2007 | ||
|---|---|---|
| 5 | EE | Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computational Semantics for Basic Protocol Logic - A Stochastic Approach. ASIAN 2007: 86-94 |
| 2006 | ||
| 4 | EE | Koji Hasebe, Mitsuhiro Okada: Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 147(1): 73-92 (2006) |
| 2003 | ||
| 3 | EE | Koji Hasebe, Mitsuhiro Okada: Inferences on Honesty in Compositional Logic for Protocol Analysis. ISSS 2003: 65-86 |
| 2002 | ||
| 2 | EE | Koji Hasebe, Mitsuhiro Okada: A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. ISSS 2002: 417-440 |
| 1 | EE | Koji Hasebe, Mitsuhiro Okada: Formal Analysis of the iKP Electronic Payment Protocols. ISSS 2002: 441-460 |
| 1 | Gergei Bana | [5] |
| 2 | Mitsuhiro Okada | [1] [2] [3] [4] [5] |