Papers - Okada, Mitsuhiro
-
セキュリティプロトコルの論理的検証法
長谷部浩二、バナ・ゲルゲイ、岡田光弘
荻谷昌巳・塚田恭章共編『数理的技法による情報セキュリティ』 (共立出版) 2010
Research paper (scientific journal), Joint Work, Accepted
-
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana, Koji Hasebe, and Mitsuhiro Okada
IACR Cryptology ePrint Archive 2010
Research paper (other academic), Joint Work
-
Conservativity for a hierarchy of Euler and Venn reasoning systems
Koji Mineshima, Mitshihiro Okada and Ryo Takemura
Proceedings of Visual Language and Logoc 2009.,CEUR Series Vol.510 37 - 61 2009
Research paper (international conference proceedings), Joint Work, Accepted
-
Computational Semantics for First-Order Logical Analysis of Cryptographic protocols,Formal to Pratical Sucurity
G.Bana, K.Hasebe, M.Okada
Volume 5458 of Springer Lecture Notes in Computer Science 33 - 56 2009
Research paper (scientific journal), Joint Work, Accepted
-
Is g an entity? A japanese twin study using syllogysms and intelligence tests.
Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Yutaro Sugimoto, Ryo Takemura, Koken Ozaki, Mitsuhiro Okada, Tatsushi Toda, Juko Ando
Intelligence 37 ( 3 ) 256 - 267 2009
Research paper (scientific journal), Joint Work, Accepted
-
Some remarks on difference between Gentzen's finitist and Heyting's intuitionist approaches toward intuitionistic logic and arithmetic.
Mitsuhiro Okada
Annals of the Japan Association for Philosophy of Science, Vol.16 1 - 18 2008
Research paper (scientific journal), Single Work, Accepted
-
Diagrammatic Reasoning System with Euler Circles
Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo takemura
Theory and Experiment Design,2008,Proceedings of 5th International Conference on the Theory and Application of Diagrams(DIAGRAMS 2008),Lecture Notes In Artificial Intelligence,Vol.5223,Springer-Verlag,188-2 2008
Research paper (scientific journal), Joint Work, Accepted
-
フッサール、ゲーデルから線形論理へ.
岡田光弘
「現代思想」Vol.35, No.3 149 - 163 2007.02
Research paper (scientific journal), Single Work
-
A proof-theoretic study of the correspondence of hybrid logic and classical logic.
HIirohiko Kushida and Mitsuhiro Okada
Journal of Logic, Language and Information, Vol.16, No.1 35 - 61 2007
Research paper (scientific journal), Joint Work, Accepted
-
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus
Mitsuhiro Okada and Ryo Takemura
Volume 4600 of Lecture Notes in Computer Science, Springer 167 - 181 2007
Research paper (scientific journal), Joint Work, Accepted
-
Compuational Sematics for Basic Protocol Logic-A Stochastic Approach, Proceedings of ASIAN 07 the 12th Annual Asian Computing Science Conference
G.Bana, K.Hasebe and M.Okada
Vol.4846 of Lecture Notes in Compuer Science 86 - 94 2007
Research paper (scientific journal), Joint Work, Accepted
-
BAN論理からprotocol composition logicへ：セキュリティプロトコルの老理的検証法
長谷部浩二、岡田光弘.
応用数理、Vol.17,No.4 311 - 322 2007
Research paper (scientific journal), Joint Work, Accepted
-
Intuithionistic phase semantics is almost classical.
Max I.Kanovich, Mitsuhiro Okada, and Kzushige Terui
Mathematical Structures in Computer Science, Vol.16, No.1 67 - 86 2006
Research paper (scientific journal), Joint Work, Accepted
-
Completeness and Counter-Example Generations of a Basic Protocol Logic (extended abstract)
Mitsuhiro Okada, Koji Hasebe
6th International Workshop on Rule-Based Programming (RULE'05), volume 147 of Electronic Notes in Theoretical Computer Science to appear 73 - 92 2006
Research paper (international conference proceedings), Joint Work, Accepted
-
Honesty Inferences for Proving Correctness of Security Protocols
Mitsuhiro Okada and Kouji Hasebe
Workshop on New Approaches to Software Construction (WNASC 2004) 45-57 2004.09
Research paper (international conference proceedings), Joint Work, Accepted
-
Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
Mitsuhiro Okada and Kouji Hasebe
Workshop on Foundations of Computer Security (FCS'04) 97-113 2004.07
Research paper (international conference proceedings), Joint Work, Accepted
-
Inferences on Honesty in Compositional Logic for Security Analysis
Mitsuhiro Okada and Kouji Hasebe
the International Symposium on Software Security 2003 (ISSS2003) 65-86 2004.06
Research paper (international conference proceedings), Joint Work, Accepted, ISSN 0302-9743
-
「矛盾は矛盾か」 日本科学哲学会ラッセルパラドクス１００年特集
岡田 光弘
科学哲学 36 ( 2 ) 79-102 2004
Research paper (scientific journal), Single Work, Accepted
-
Linear Logic and Intuitionistic Logic
Mitsuhiro Okada
La revue International de philosphie ( 230 ) 449-481 2004
Research paper (scientific journal), Single Work, Accepted
-
Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic
Koji Hasebe, Jean-Pierre Jouannaud, Antonie Kremer, Mitsuhiro Okada, and Roland Zumkeller
日本ソフトウェア科学会第20回全国大会予稿集 2003.09
Research paper (other academic), Joint Work