KAWABE Yoshinobu 河辺義信

Researcher Number	80396184
Affiliation (Current)	2022: 愛知工業大学, 情報科学部, 教授
Affiliation (based on the past Project Information) *help	2016 – 2022: 愛知工業大学, 情報科学部, 教授 2011 – 2015: 愛知工業大学, 情報科学部, 准教授 2009: Aichi Institute of Technology, 情報科学部, 准教授 2008: Aichi Institute of Technology, 経営情報学部, 准教授 2007: NTT Communication Science Laboratories, その他部局等, 研究員
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / Information security / Basic Section 60070:Information security-related Except Principal Investigator Intelligent informatics / Basic Section 60060:Information network-related
Keywords	Principal Investigator 定理証明 / 形式検証 / 検証 / 匿名性 / 形式手法 / セキュリティプロトコル / 暗号系 / セキュリティ検証 / フォーマルメソッド / I … More / O-オートマトン / 0-オートマトン / プライバシ / 無証拠性 / Crowds / 実時間システム / 時間匿名性 / トラスト / ソーシャルネットワーク / ファジィ理論 / 災害メッセージ / メッセージの信用度 / 分散アルゴリズム理論 … More Except Principal Investigator マルチエージェントシステム / 資源割当問題 / 分散制約最適化問題 / 災害救助シミュレーション / 開発フレームワーク / 地図データ作成ツール / ３次元視覚化システム / 災害救助 / 開発環境 / レスキュー工学 / 情報指向ネットワーキング / ルータ / インターネット / キャッシュ / パケットフォワーディング / プログラマブルスイッチ Less

ソーシャルネットワークのためのトラスト表現と検証法の研究Principal Investigator
- Principal Investigator
  
  河辺義信
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Aichi Institute of Technology
Tbit/s High Speed Forwarding for a Clustered NDN Router
- Principal Investigator
  
  長谷川亨
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  Osaka University
Integrated platform of development and analysis for multi-agent systems in disaster relief problem
- Principal Investigator
  
  伊藤暢浩
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Aichi Institute of Technology
Formal verification of anonymity for timed security protocolsPrincipal Investigator
- Principal Investigator
  
  Kawabe Yoshinobu
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Information security
- Research Institution
  Aichi Institute of Technology
On computer-assisted verification of privacy related propertiesPrincipal Investigator
- Principal Investigator
  
  KAWABE Yoshinobu
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Aichi Institute of Technology
On Verifying Anonymity of Security Protocols with Formal MethodsPrincipal Investigator
- Principal Investigator
  
  KAWABE Yoshinobu
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Aichi Institute of Technology
  NTT Communication Science Laboratories

All 2022 2021 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 Other

All Journal Article Presentation

[Journal Article] Assessment of BAR: Breakdown Agent Replacement Algorithm for SCRAM2017
- Author(s)
  Shivashish Jaishy, Yoshiki Fukushige, Nobuhiro Ito, Kazunori Iwata, Yoshinobu Kawabe
- Journal Title
  
  International Journal of Software Innovation (IJSI)
  
  Volume: 5(3) Pages: 1-17
- DOI
  10.4018/ijsi.2017070101
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00310, KAKENHI-PROJECT-17K00317
[Journal Article] 電子投票プロトコルに対する無証拠性の定理証明2011
- Author(s)
  河辺義信, 真野健, 櫻田英樹, 塚田恭章
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.52(9) Pages: 2549-2561
- NAID
  110008608818
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700024
[Journal Article] 電子投票プロトコルに対する無証拠性の定理証明2011
- Author(s)
  河辺義信，真野健，櫻田英樹，塚田恭章
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 52 Pages: 2549-2561
- NAID
  110008608818
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700024
[Journal Article] Probabilistic anomymity via coalgebraic simulations2010
- Author(s)
  Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada
- Journal Title
  
  Theoretical Computer Science volume411,No.22-24
  
  Pages: 2239-2259
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700018
[Journal Article] Probabilistic Anonymity via Coalgebraic Simulations2010
- Author(s)
  I.Hasuo, Y.Kawabe, H.Sakurada
- Journal Title
  
  Theoretical Computer Science 411
  
  Pages: 2239-2259
- NAID
  120002511338
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700018
[Journal Article] An adversary model for simulation-based anonymity proof2008
- Author(s)
  Y.Kawabe, H.Sakurada
- Journal Title
  
  IEICE Trans. Vol.E91A,No.4
  
  Pages: 1112-1120
- NAID
  10026848731
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700018
[Journal Article] On backward-style anonymity verification2008
- Author(s)
  Y. Kawabe, K. Mano, H. Sakurada, Y. Tsukada
- Journal Title
  
  IEICE Trans. Vol.E91A, No.9
  
  Pages: 2597-2606
- NAID
  10026851999
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700018
[Journal Article] On backward-style anonymity verification2008
- Author(s)
  Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
- Journal Title
  
  IEICE Transactions volumeE91-A,No.9
  
  Pages: 2597-2606
- NAID
  10026851999
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700018
[Journal Article] An adversary model for simulation-based anonymity proof2008
- Author(s)
  Yoshinobu Kawabe, Hideki Sakurada
- Journal Title
  
  IEICE Transactions volumeE91-A,No.4
  
  Pages: 1112-1120
- NAID
  10026848731
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] ファジィ推論における出力のデファジィ法に関する提案ー交響楽における特殊音型の認知を実験課題として2022
- Author(s)
  小田　哲久，河辺　義信，山田　洋巳
- Organizer
  日本知能情報ファジィ学会　ソフトサイエンス研究部会　第３２回ソフトサイエンス・ワークショップ
- Data Source
  KAKENHI-PROJECT-20K11822
[Presentation] 二次元的トラスト表現法の大学生の就職支援への適用2022
- Author(s)
  河辺　義信
- Organizer
  日本知能情報ファジィ学会　ソフトサイエンス研究部会　第３２回ソフトサイエンス・ワークショップ
- Data Source
  KAKENHI-PROJECT-20K11822
[Presentation] 二次元的トラスト表現法の大学生の就職支援への適用2022
- Author(s)
  河辺義信
- Organizer
  日本知能情報ファジィ学会　ソフトサイエンス研究部会　第３２回ソフトサイエンス・ワークショップ
- Data Source
  KAKENHI-PROJECT-20H04176
[Presentation] カールシューリヒト指揮「未完成」交響曲録音における鐘の音の認知について2021
- Author(s)
  小田　哲久，河辺　義信，山田　洋巳
- Organizer
  日本心理学会第８５回大会
- Data Source
  KAKENHI-PROJECT-20K11822
[Presentation] ＳＮＳにおけるトラスト可能な救助要請メッセージの抽出法2021
- Author(s)
  河辺　義信，小泉　佑揮，大木　哲史，西垣　正勝，長谷川　享
- Organizer
  第３７回ファジィシステムシンポジウム
- Data Source
  KAKENHI-PROJECT-20K11822
[Presentation] トラスト遷移の検証のためのシミュレーション関係の自動生成2021
- Author(s)
  河辺義信
- Organizer
  日本知能情報ファジィ学会第31回ソフトサイエンス・ワークショップ
- Data Source
  KAKENHI-PROJECT-20H04176
[Presentation] トラスト遷移の検証のためのシミュレーション関係の自動生成2021
- Author(s)
  河辺　義信
- Organizer
  日本知能情報ファジィ学会第31回ソフトサイエンス・ワークショップ
- Data Source
  KAKENHI-PROJECT-20K11822
[Presentation] ＦＣＲ法応答の統合値に関する新提案ーオーケストラ音響刺激の認知を実験課題としたデータの処理ー2021
- Author(s)
  小田　哲久，河辺　義信，山田　洋巳
- Organizer
  第５０回東海ファジィ研究会（蒲研２０２１）
- Data Source
  KAKENHI-PROJECT-20K11822
[Presentation] Problem Solving with Interactive Theorem-Proving --- A Case Study2016
- Author(s)
  S. Jaishy，N. Ito, and Y. Kawabe
- Organizer
  3rd International Conference on Computational Science/Intelligence and Applied Informatics
- Place of Presentation
  ネバダ大学 (米国 Las Vegas)
- Year and Date
  2016-12-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] An Evaluation of BAR: Breakdown Agent Replacement algorithm for SCRAM2016
- Author(s)
  S. Jaishy, Y. Fukushige, K. Iwata, N. Ito, and Y. Kawabe
- Organizer
  3rd International Conference on Computational Science/Intelligence and Applied Informatics
- Place of Presentation
  ネバダ大学 (米国 Las Vegas)
- Year and Date
  2016-12-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] On Backward-Style Verification for Timed Anonymity of Security Protocols2016
- Author(s)
  Y. Kawabe, and N. Ito
- Organizer
  5th IEEE Global Conference on Consumer Electronics
- Place of Presentation
  メルパルク京都 (京都府京都市)
- Year and Date
  2016-10-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] On Computer-Assisted Verification of Timed Anonymity of Multi-Agent Systems2016
- Author(s)
  Y. Kawabe, and N. Ito
- Organizer
  3rd International Conference on Computational Science/Intelligence and Applied Informatics
- Place of Presentation
  ネバダ大学 (米国 Las Vegas)
- Year and Date
  2016-12-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] Toward Formal Analysis of Timed Anonymous Systems2016
- Author(s)
  Y. Kawabe, and N. Ito
- Organizer
  31st International Technical Conference on Circuits/Systems, Computers and Communications
- Place of Presentation
  沖縄自治会館 (沖縄県那覇市)
- Year and Date
  2016-07-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] Proving Anonymity for Timed Systems2016
- Author(s)
  Y. Kawabe, and N. Ito
- Organizer
  International Workshop on Informatics 2016
- Place of Presentation
  Avalon Hotel (ラトビア Riga)
- Year and Date
  2016-08-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] 匿名性・プライバシの定式化とシミュレーション技法による証明法2015
- Author(s)
  河辺義信
- Organizer
  2015年電子情報通信学会ソサイエティ大会
- Place of Presentation
  東北大学川内北キャンパス
- Year and Date
  2015-09-08
- Invited
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] Verifying Ignition Timing of Gasoline Direct Injection Engine's PCM2015
- Author(s)
  Masato Yamauchi, Nobuhiro Ito, Yoshinobu Kawabe
- Organizer
  IEEE/ACIS 14th International Conference on Computer and Information Science 2015
- Place of Presentation
  Las Vegas（米国）
- Year and Date
  2015-06-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] Developing Compiler for Nihongo Programming Language PEN2015
- Author(s)
  Yoshitaka Kato, Masahiko Ozaki, Junya Kani, Nobuhiro Ito, Yoshinobu Kawabe
- Organizer
  2nd ACIS International Conference on Computational Science and Intelligence
- Place of Presentation
  岡山コンベンションセンター（岡山県岡山市）
- Year and Date
  2015-07-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] 数学入試問題に対する定理自動証明の適用の試み2015
- Author(s)
  磯部輝，伊藤暢浩，河辺義信
- Organizer
  電子情報通信学会第28回回路とシステムワークショップ
- Place of Presentation
  淡路夢舞台国際会議場（兵庫県淡路島）
- Year and Date
  2015-08-03
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] BAR: Breakdown Agent Replacement algorithm for SCRAM2015
- Author(s)
  Sivasis Jaishy, Nobuhiro Ito, Yoshinobu Kawabe
- Organizer
  2nd ACIS International Conference on Computational Science and Intelligence
- Place of Presentation
  岡山コンベンションセンター（岡山県岡山市）
- Year and Date
  2015-07-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] IOA に基づく実行可能仕様のための変換系の試作2014
- Author(s)
  吉政徳晃，河辺義信
- Organizer
  第12回情報学ワークショップ (WiNF 2014)
- Place of Presentation
  静岡大学浜松キャンパス（静岡県浜松市）
- Year and Date
  2014-11-29
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] Automated Proof for Equivalence of Telephone Systems2013
- Author(s)
  J. Sakoh, N. Yoshimasa, and Y. Kawabe
- Organizer
  12th IEEE International Conference on Computer and Information Science (ICIS 2013)
- Place of Presentation
  朱鷺メッセ(新潟県)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] An Implementation of IOA with A Functional Programming Language2013
- Author(s)
  N. Yoshimasa, and Y. Kawabe
- Organizer
  28th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2013)
- Place of Presentation
  麗水 (韓国)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] A Development Framework for Humanoid Robots Simulation Systems2013
- Author(s)
  Y. Kozuka, N. Ito, K. Iwata, T. Mori, and Y. Kawabe
- Organizer
  IIAI International Conference on Advanced Information Technologies 2013 (IIAI-AIT 2013)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] On Embedded Programming Education with A Tiny Lisp2013
- Author(s)
  Manami Osawa, Noriaki Yoshimasa and Yoshinobu Kawabe
- Organizer
  12th IEEE International Conference on Computer and Information Science (ICIS 2013)
- Place of Presentation
  朱鷺メッセ（新潟県）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] An Implementation of IOA with A Functional Programming Language2013
- Author(s)
  Noriaki Yoshimasa and Yoshinobu Kawabe
- Organizer
  28th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2013)
- Place of Presentation
  麗水（韓国）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] 関数型言語を用いたIOA仕様の実装について2013
- Author(s)
  吉政徳晃，河辺義信
- Organizer
  電子情報通信学会第26回回路とシステムワークショップ
- Place of Presentation
  淡路夢舞台国際会議場（兵庫県）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] On Embedded Programming Education with A Tiny Lisp2013
- Author(s)
  M. Osawa, N. Yoshimasa, and Y. Kawabe
- Organizer
  12th IEEE International Conference on Computer and Information Science (ICIS 2013)
- Place of Presentation
  朱鷺メッセ (新潟県)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] SAT-Solving Trace Equivalence of I/O-Automata with Alloy Analyzer: A Case Study2013
- Author(s)
  Noriaki Yoshimasa, Jun Sakoh and Yoshinobu Kawabe
- Organizer
  28th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2013)
- Place of Presentation
  麗水（韓国）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] 関数型言語を用いたIOA 仕様の実装について2013
- Author(s)
  吉政徳晃, 河辺義信
- Organizer
  電子情報通信学会第26回回路とシステムワークショップ
- Place of Presentation
  淡路夢舞台国際会議場 (兵庫県)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Automated Proof for Equivalence of Telephone Systems2013
- Author(s)
  Jun Sakoh, Noriaki Yoshimasa and Yoshinobu KAwabe
- Organizer
  12th IEEE International Conference on Computer and Information Science (ICIS 2013)
- Place of Presentation
  朱鷺メッセ（新潟県）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] SAT-Solving Trace Equivalence of I/O-Automata with Alloy Analyzer : A Case Study2013
- Author(s)
  N. Yoshimasa, J. Sakoh, and Y. Kawabe
- Organizer
  28th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2013)
- Place of Presentation
  麗水 (韓国)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] A Development Framework for Humanoid Robots Simulation Systems2013
- Author(s)
  Yoshiyuki Kozuka, Nobuhiro Ito, Kazunori Iwata, Toshiya Mori and Yoshinobu Kawabe
- Organizer
  IIAI International Conference on Advanced Information Technologies 2013 (IIAI-AIT 2013)
- Place of Presentation
  ジャカルタ（インドネシア）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] KED-SH101 を用いた組み込みプログラミングのための Lisp 言語2012
- Author(s)
  大澤愛美, 河辺義信
- Organizer
  第10回情報学ワークショップ(WiNF 2012)
- Place of Presentation
  豊橋技術科学大学 (愛知県)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Formal verification of a telephone system with a concierge server2012
- Author(s)
  Yoshinobu Kawabe, Keito Kurono and Aya Maeda
- Organizer
  27th international technical conference on circuits/systems, computers and communications (ITC-CSCC 2012)
- Place of Presentation
  札幌コンベンションセンター（北海道）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] 多重ループバックを持つCrowds プロトコルに対する匿名性の形式検証2012
- Author(s)
  河辺義信
- Organizer
  電子情報通信学会 2012年暗号と情報セキュリティシンポジウム
- Place of Presentation
  金沢エクセルホテル東急 (石川県)
- Year and Date
  2012-02-02
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] KED-SH101を用いた組み込みプログラミングのためのLisp言語2012
- Author(s)
  大澤愛美，河辺義信
- Organizer
  第10回情報学ワークショップ（WiNF 2012）
- Place of Presentation
  豊橋技術科学大学（愛知県）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Larch Proverによる論理パズルの解法2012
- Author(s)
  河辺義信
- Organizer
  2012年度電子情報通信学会ソサイエティ大会チュートリアル「システム数理における様々なツールの紹介」
- Place of Presentation
  富山大学　五福キャンパス（富山県）
- Invited
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Formalizing and verifying anonymity of Crowds-based communication protocols with IOA2012
- Author(s)
  Yoshinobu Kawabe
- Organizer
  First workshop on information hiding techniques for Internet anonymity and privacy (IHTIAP 2012)
- Place of Presentation
  ベニス（イタリア）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] 多重ループバックを持つCrowdsプロトコルに対する匿名性の形式検証2012
- Author(s)
  河辺義信
- Organizer
  電子情報通信学会 2012年暗号と情報セキュリティシンポジウム（SCIS 2012）
- Place of Presentation
  金沢エクセルホテル東急（石川県）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] コンシェルジュサーバを持つ電話システムの形式的検証2012
- Author(s)
  黒野恵人, 前田彩, 河辺義信
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  JAIST東京キャンパス (東京都)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Formalizing and verifying anonymity of Crowds-based communication protocols with IOA2012
- Author(s)
  Y. Kawabe
- Organizer
  First Workshop on Information Hiding Techniques for Internet Anonymity and Privacy (IHTIAP 2012), in the proceedings of the Fourth International Conference on Evolving Internet (INTERNET 2012)
- Place of Presentation
  ベニス (イタリア)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] コンシェルジュサーバを持つ電話システムの形式的検証2012
- Author(s)
  黒野恵人，前田彩，河辺義信
- Organizer
  電子情報通信学会 MSS研究会
- Place of Presentation
  JAIST東京キャンパス（東京都）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Larch Prover による論理パズルの解法2012
- Author(s)
  河辺義信
- Organizer
  電子情報通信学会 2012年ソサイエティ大会
- Place of Presentation
  富山大学五福キャンパス (富山県)
- Invited
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Formal verification of a telephone system with a concierge server2012
- Author(s)
  Y. Kawabe, K. Kurono and A. Maeda
- Organizer
  27th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2012)
- Place of Presentation
  札幌コンベンションセンター (北海道)
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Crowds 型通信システムに対する形式検証について2011
- Author(s)
  河辺義信
- Organizer
  第9回情報学ワークショップ (WiNF 2011)
- Place of Presentation
  豊橋技術科学大学 (愛知県)
- Year and Date
  2011-11-25
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Crowds型匿名通信システムに対する形式検証について2011
- Author(s)
  河辺義信
- Organizer
  第9回情報学ワークショップ（WiNF 2011）
- Place of Presentation
  豊橋技術科学大学（愛知県）
- Data Source
  KAKENHI-PROJECT-23700024
[Presentation] Anonymity, privacy, onymity and identity: a modal logic approach2009
- Author(s)
  Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe
- Organizer
  IEEE International Conference on Privacy, Security, Risk and Trust (PASSAT-09)
- Place of Presentation
  カナダ・バンクーバー市
- Year and Date
  2009-08-29
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] I/O-オートマトンによる無証拠性の形式化について2009
- Author(s)
  河辺義信, 真野健, 櫻田英樹, 塚田恭章
- Organizer
  電子情報通信学会2009年暗号と情報セキュリティシンポジウム
- Place of Presentation
  滋賀県大津市
- Year and Date
  2009-01-23
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] 無証拠的プロトコルのフォーマルな扱いについて2009
- Author(s)
  河辺義信
- Organizer
  第21回電気関係学会東海支部連合大会
- Place of Presentation
  愛知工業大学
- Year and Date
  2009-09-10
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] 無証拠的プロトコルのフォーマルな記述について2009
- Author(s)
  河辺義信
- Organizer
  第21回電気関係学会東海支部連合大会
- Place of Presentation
  愛知県豊田市
- Year and Date
  2009-09-11
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] 1/0-オートマトンによる無証拠性の形式化について2009
- Author(s)
  河辺, 真野, 櫻田, 塚田
- Organizer
  電子情報通信学会2009年暗号と情報セキュリティシンポジウム
- Place of Presentation
  大津プリンスホテル(滋賀県大津市)
- Year and Date
  2009-01-23
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] 能動的な攻撃者が存在するシステムに対する匿名性の検証について2008
- Author(s)
  河辺義信, 真野健, 櫻田英樹, 塚田恭章
- Organizer
  電子情報通信学会2008年暗号と情報セキュリティシンポジウム
- Place of Presentation
  宮崎県宮崎市
- Year and Date
  2008-01-23
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] 匿名性・プライバシ・顕名性・アイデンティティへの知識論理的アプローチ2008
- Author(s)
  塚田恭章, 真野健, 櫻田英樹, 河辺義信
- Organizer
  情報処理学会第11回コンピュータセキュリティシンポジウム
- Place of Presentation
  沖縄県宜野湾市
- Year and Date
  2008-10-08
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] 能動的な攻撃者が存在するシステムに対する匿名性の検証について2008
- Author(s)
  河辺, 真野, 櫻田, 塚田
- Organizer
  電子情報通信学会2008年暗号と情報セキュリティシンポジウム
- Place of Presentation
  宮崎シーガイアコンベンションセンター・サミット
- Year and Date
  2008-01-23
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] 攻撃者を考慮した匿名性検証法2007
- Author(s)
  河辺義信, 櫻田英樹
- Organizer
  電子情報通信学会第20回回路とシステム軽井沢ワークショップ
- Place of Presentation
  長野県軽井沢町
- Year and Date
  2007-04-23
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] A formal approach to designing anonymous software2007
- Author(s)
  Yoshinobu Kawabe, Hideki Sakurada
- Organizer
  5th International Conference on Software Engineering Research, Management and Applications (SERA '07)
- Place of Presentation
  韓国釜山市
- Year and Date
  2007-08-21
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] A formal approach to designing anonymous software2007
- Author(s)
  Y.Kawabe, H.Sakurada
- Organizer
  5th International Conference on Software Engineering Research, Management and Applications (SERA'07)
- Place of Presentation
  ヘウンデ・グランドホテル(韓国釜山市)
- Year and Date
  2007-08-21
- Data Source
  KAKENHI-PROJECT-19700018
[Presentation] IOA仕様から関数型言語Erlangへの自動変換
- Author(s)
  吉政徳晃，河辺義信
- Organizer
  日本知能情報ファジィ学会第37回東海ファジィ研究会
- Place of Presentation
  蒲郡市生命の海科学館・蒲郡情報ネットワークセンター（愛知県蒲郡市）
- Year and Date
  2014-08-03 – 2014-08-04
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] Toward Formal Verification of ECU for Gasoline Direct Injection Engines
- Author(s)
  Masato Yamauchi, Nobuhiro Ito and Yoshinobu Kawabe
- Organizer
  IIAI 3rd International Conference on Advanced Applied Informatics
- Place of Presentation
  北九州国際会議場（福岡県北九州市）
- Year and Date
  2014-08-31 – 2014-09-04
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] Robust Location Tracking Method for Mixed Reality Robots using a Rotation Search Method
- Author(s)
  Masahiro Yamamoto, Kazuhiro Suzuki, Ryosuke Ogawa, Nobuhiro Ito, Yoshinobu Kawabe
- Organizer
  14th IEEE/ACIS International Conference on Computer and Information Science
- Place of Presentation
  Las Vegas（米国）
- Year and Date
  2015-06-28 – 2015-07-01
- Data Source
  KAKENHI-PROJECT-26330166
[Presentation] センサーと無線モジュールを使ったデータ取得とデータ解析によるコースレイアウトの導出
- Author(s)
  岡島侑大，菅谷晃宏，河辺義信
- Organizer
  人工知能学会社会におけるAI 第20回研究会
- Place of Presentation
  愛知工業大学自由ヶ丘キャンパス（愛知県名古屋市）
- Year and Date
  2014-11-08 – 2014-11-09
- Data Source
  KAKENHI-PROJECT-26330166

1. 伊藤暢浩 (40314075)

# of Collaborated Projects: 2 results

# of Collaborated Products: 13 results
2. 岩田員典 (80367606)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. 小田哲久 (60131132)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
4. 長谷川亨 (70576264)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 小泉佑揮 (50552072)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KAWABE Yoshinobu 河辺 義信

Research Projects

Research Products

Co-Researchers

ソーシャルネットワークのためのトラスト表現と検証法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Tbit/s High Speed Forwarding for a Clustered NDN Router

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Integrated platform of development and analysis for multi-agent systems in disaster relief problem

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formal verification of anonymity for timed security protocolsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On computer-assisted verification of privacy related propertiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On Verifying Anonymity of Security Protocols with Formal MethodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Assessment of BAR: Breakdown Agent Replacement Algorithm for SCRAM2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] 電子投票プロトコルに対する無証拠性の定理証明2011

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 電子投票プロトコルに対する無証拠性の定理証明2011

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Probabilistic anomymity via coalgebraic simulations2010

Author(s)

Journal Title

Data Source

[Journal Article] Probabilistic Anonymity via Coalgebraic Simulations2010

Author(s)

Journal Title

NAID

Data Source

[Journal Article] An adversary model for simulation-based anonymity proof2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] On backward-style anonymity verification2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] On backward-style anonymity verification2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] An adversary model for simulation-based anonymity proof2008

KAWABE Yoshinobu 河辺義信