Koji Hasebe

	2007
5		Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computational Semantics for Basic Protocol Logic - A Stochastic Approach. ASIAN 2007: 86-94
	2006
4		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		Koji Hasebe, Mitsuhiro Okada: Inferences on Honesty in Compositional Logic for Protocol Analysis. ISSS 2003: 65-86
	2002
2		Koji Hasebe, Mitsuhiro Okada: A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. ISSS 2002: 417-440
1		Koji Hasebe, Mitsuhiro Okada: Formal Analysis of the iKP Electronic Payment Protocols. ISSS 2002: 441-460

Coauthor Index

1	Gergei Bana	[5]
2	Mitsuhiro Okada	[1] [2] [3] [4] [5]