Hasebe Koji
- 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
- A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic