トップページ＞検索結果＞研究者紹介＞全件表示

二木　厚吉（フタツギ　コウキチ）　特任教授
ソフトウェア検証研究センター

127件中61-80件目

61.　き換えによるセキュリティプロトコルの帰納的検証，緒方和博, 二木厚吉，コンピュータソフトウェア，20，54-72，2003
62.　Proof scores in the OTS/CafeOBJ method, Proceedings of the 6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003)，Ogata, K., Futatsugi, K，Lecture Notes in Computer Science，2884，170-184，2003
63.　Fault Tree Analysis of Software Reliability Allocation, Proceedings of 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2003)，Xiang.J, Futatsugi.K, and He.Y，Computer Science and Engineering，Volume Ⅱ，460-465，3-Jun
64.　多重ループからの脱出でのgoto文の是非：Hoare論理の観点から，金藤栄孝，二木厚吉，情報処理学会論文誌，45，3，770-784，4-Mar
65.　Formal Fault Tree Construction and System Safety Analysis，Xiang.J, Futatsugi.K, and He.Y，Proceedings of IASTED International Conference on Software Engineering (SE 2004)，378-384，4-Feb
66.　Past, Present, and Future of SRA Implementation of CafeOBJ，Toshimi Sawada, Kouichi Kishida, and Kokichi Futatsugi，Proc. of International Symposium of Formal Methods Europe 2003 (FME 2003), Lecture Notes in Computer Science，2805，7-17，2003
67.　Flaw and modification of the iKP electronic payment protocols，Kazuhiro Ogata and Kokichi Futatsugi，Information Processing Letters, Elsevier，86，2，57-62，2003
68.　CafeOBJ: Logical Foundation and Methodologies，Razvan Diaconescu, Kokichi Futatsugi and Kazuhiro Ogata，Computing and Informatics, Slovak Academic Press，22，3，257-283，2003
69.　項書換えを用いた安全性検証の組織化，清野貴博, 緒方和博, 二木厚吉，コンピュータソフトウェア，20，32-45，2003
70.　CafeOBJ: Logical foundation and methodologies，Diaconescu, R., Ogata, K., Futatsugi, K，Computing and Informatics，22，257-283，2003
71.　Flaw and modification of the ikp electronic payment protocols，Ogata, K., Futatsugi, K，Information Processing Letters，86，57-62，2003
72.　テーブルを用いた形式仕様，小池憲史，二木厚吉，ソフトウェア工学の基礎IX 日本ソフトウェア科学会 FOSE2002，レクチャーノート/ソフトウェア学，28，pp 187-190，2002.11.
73.　Logical Foundations of CafeOBJ，Razvan Diaconescu and Kokichi Futatsugi，Theoretical Computer Science，Vol.285，pp 289--318，2002
74.　CafeOBJにおける書き換えエンジンの停止性，中村正樹，二木厚吉，ソフトウェア工学の基礎IX 日本ソフトウェア科学会 FOSE2002，レクチャーノート/ソフトウェア学，28，pp 191-194，2002.11.
75.　項書換えを用いた安全性検証の組織化，清野貴博，緒方和博，二木厚吉，ソフトウェア工学の基礎IX 日本ソフトウェア科学会 FOSE2002，レクチャーノート/ソフトウェア学，28，pp 107-118，2002.11.
76.　An Algebraic Approach to Validation of Class Diagram with Constraints，Kazuki Munakata and Kokichi Futatsugi，Proc of ITC-CSCC2002，vol.2，pp.920-923，July 2002.
77.　Formal analysis of the iKP electronic payment protocols，Kazuhiro Ogata and Kokichi Futatsugi，Proc. of Int'l Symposium on Software Security,LNCS 2609 (Hot Topics, Software Security - Theories and Systems)，Springer，pp.-，Nov.2002
78.　Flow and modification of the iKP electronic payment protocols，Kazuhiro Ogata and Kokichi Futatsugi，Information Processing Letters，Vol.86，pp.57-62，2003
79.　Formal verification of the Horn-Preneel micropayment protocol，Kazuhiro Ogata and Kokichi Futatsugi，Proc. of the 4th Int'l Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2003)，LNCS 2575，Springer，pp.238-252，Jan. 2003
80.　Rewriting-based verification of authentication protocols，Kazuhiro Ogata and Kokichi Futatsugi，Proc. of 4th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2002), Electronic Notes in Theoretical Computer Science, Vol.71, Elsevier Science Publishers，Sep. 2002.

[ ≪ 前へ ] 1 2 3 4 5 6 7 [ 次へ ≫ ]

二木 厚吉 （フタツギ コウキチ） 特任教授 ソフトウェア検証研究センター

二木　厚吉（フタツギ　コウキチ）　特任教授
ソフトウェア検証研究センター