JAIST Repository >

著者:  "OGATA, KAZUHIRO"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

31 著者名表示.

発行日タイトル 著者
13-Aug-1997 The equivalence of the reductions with the E-strategy with and without marksNagaya, Takashi; Matsumoto, Michihiro; Ogata, Kazuhiro; Futatsugi, Kokichi
Jun-2001 Specification and verification of a single-track railroad signaling in CafeOBJSEINO, Takahiro; OGATA, Kazuhiro; FUTATSUGI, Kokichi
20-Aug-2002 Formal analysis of the iKP electronic payment protocolsOgata, Kazuhiro; Futatsugi, Kokichi
Apr-2003 Flaw and modification of the ikp electronic payment protocolsOgata, Kazuhiro; Futatsugi, Kokichi
Apr-2004 Rewriting-Based Verification of Authentication ProtocolsOgata, Kazuhiro; Futatsugi, Kokichi
Sep-2004 Formal Analysis of an Anonymous Fair Exchange E-Commerce ProtocolKong, Weiqiang; Ogata, Kazuhiro; Xiang Jianwen; Futatsugi, Kokichi
15-Apr-2005 項書き換えシステムにおける可簡約演算子とその応用中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI
21-Sep-2005 A Lightweight Integration of Theorem Proving and Model Checking for System VerificationKong, Weiqiang; Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi
2006 Induction-Guided FalsificationOgata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi
2006 Some Tips on Writing Proof Scores in the OTS/CafeOBJ MethodOgata, Kazuhiro; Futatsugi, Kokichi
7-Mar-2007 Counterexample Discovery with a Combination of Induction and Bounded Model CheckingOgata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi
7-Mar-2007 Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse SystemKong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi
16-Mar-2007 Analysis of membership sharing in digital subscription servicesXiang, Jianwen; Ogata, Kazuhiro; Futatsugi, Kokichi
23-Mar-2007 Algebraic approaches to formal analysis of the mondex electronic purse systemKong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi
6-Sep-2007 Analysis of Electronic Commerce Protocols in Algebraic Specification LanguagesOgata, Kazuhiro; Futatsugi, Kokichi
1-May-2008 A Specification Translation from Behavioral Specifications to Rewrite SpecificationsNAKAMURA, Masaki; KONG, Weiqiang; OGATA, Kazuhiro; FUTATSUGI, Kokichi
Jul-2008 Trace anonymity in the OTS/CafeOBJ methodKong, Weiqiang; Ogata, Kazuhiro; Cheng, Jian; Futatsugi, Kokichi
1-Dec-2008 Proof Score Approach to Verification of Liveness PropertiesOGATA, Kazuhiro; FUTATSUGI, Kokichi
10-Apr-2009 証明支援系とモデル検査器を効果的に利用できる環境と方法論緒方, 和博; OGATA, KAZUHIRO
29-May-2009 Constructor-based InstitutionsGaina, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
22-Sep-2009 A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ MethodSeino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi
2010 Proof Score Approach to Analysis of Electronic Commerce ProtocolsOgata, Kazuhiro; Futatsugi, Kokichi
1-Feb-2010 Reducibility of operation symbols in term rewriting systems and its application to behavioral specificationsNakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi
10-Mar-2010 Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version)Zhang, Min; Ogata, Kazuhiro
9-Nov-2010 Specification Translation of State Machines from Equational Theories into Rewrite TheoriesZhang, Min; Ogata, Kazuhiro; Nakamura, Masaki
9-Nov-2010 A Combination of Forward and Backward Reachability Analysis MethodsOgata, Kazuhiro; Futatsugi, Kokichi
15-Mar-2013 Formalization and Verification of Behavioral Correctness of Dynamic Software UpdatesZhang, Min; Ogata, Kazuhiro; Futatsugi, Kokichi
23-Apr-2014 論理式肥大に伴う活性のモデル検査の非効率化の改善緒方, 和博; Ogata, Kazuhiro
15-Dec-2014 Sufficient completeness of parameterized specifications in CafeOBJNakamura, Masaki; Gaina, Daniel; Ogata, Kazuhiro; Futatsugi, Kokichi
2-Jun-2017 分散システムを計算の対象とする分散アルゴリズムのモデル検査に関する研究緒方, 和博; Ogata, Kazuhiro
26-Feb-2024 Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023Escobar, Santiago; Otmani, Ayoub; Akleylek, Sedat; Ogata, Kazuhiro

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係