海谷治彦 (Haruhiko Kaiya) - マイポータル

基本情報

所属: 神奈川大学情報学部計算機科学科教授

J-GLOBAL ID: 201101011820025090
researchmap会員ID: B000000599

外部リンク: http://www.sci.kanagawa-u.ac.jp/info/kaiya/

写真はクヴェラゲルジにて．座右の銘「ネコへの態度を悔い改めよ」空気が無いのは生理的にムリ．尊敬する人物はフッヅーの松大主．嫌いなもの: 玉ねぎ，半熟卵，干しブドウ，電話，テレビ，乳製品，きっちとした身なり，強い風．

研究キーワード

研究分野

論文

130

Finding Contributable Activities Using Non-Verb Attributes In Events

225 507-516 2023年9月査読有り筆頭著者
Efficient secure DevOps using process mining and Attack Defense Trees

Takao Okubo, Haruhiko Kaiya

Procedia Computer Science 207 446-455 2022年9月査読有り
A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking

Procedia Computer Science 207 542-551 2022年9月査読有り
A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test

Shinpei Ogata, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi

30 141-153 2022年8月査読有り
Reference Model for Agile Development of Machine Learning-based Service Systems

Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata

17-20 2021年12月査読有り
Tools for logging and analyzing goal dependency modeling

192 1639-1648 2021年8月
CSPM

Tian Xia, Hironori Washizaki, Yoshiaki Fukazawa, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernandez, Takehisa Kato, Hideyuki Kanuka, Takao Okubo, Nobukazu Yoshioka …

International Journal of Systems and Software Security and Protection 12(2) 1-18 2021年7月
Systematic Literature Review of Security Pattern Research

Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Takehisa Kato, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya …

12(1) 36-36 2021年1月16日
Evaluating Mutual Requirements Evolution of Several Information Systems

Haruhiko Kaiya

Procedia Computer Science 176 1251-1260 2020年10月査読有り
A Tool to Manage Traceability on Several Models and Its Use Case

Haruhiko Kaiya, Shogo Tatsui, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki

176 1449-1458 2020年10月査読有り
Quantitative Analysis of Goal Oriented Requirements Models

Haruhiko Kaiya

19 1-6 2020年7月招待有り
Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling

Haruhiko Kaiya, Wataru FujitaRyotaro, YamadaAtsuo HazeyamaShinpei OgataTakao OkuboNobukazu YoshiokaHironori Washizaki

19 70-83 2020年7月査読有り
Mutual Requirements Evolution by Combining Different Information Systems

PCI '19 Proceedings of the 23rd Pan-Hellenic Conference on Informatics 159-162 2019年11月査読有り
A System for Seamless Support from Security Requirements Analysis to Security Design Using a Software Security Knowledge Base

Atsuo Hazeyama, Hikaru Miyahara, Takafumi Tanaka, Hironori Washizaki, Haruhiko Kaiya, Takao Okubo, Nobukazu Yoshioka

134-140 2019年9月査読有り
Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques

Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki

Procedia Computer Science 159(2019) 1075-1084 2019年9月査読有り
Landscape of IoT patterns

Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo, Eduardo B. Fernandez

SERP4IoT 57-60 2019年5月査読有り
Designing Secure Software by Testing Application of Security Patterns

Takanori Kobashi, Hironori Washizaki, Nobukazu Yoshioka, Haruhiko Kaiya, Takao Okubo, Yoshiaki Fukazawa

Exploring Security in Software Architecture and Design -34 2019年査読有り
Restructuring Attack Trees to Identify Incorrect or Missing Relationships between Nodes

Hua Cai, Hironori Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya, Nobukazu Yoshioka

Restructuring Attack Trees to Identify Incorrect or Missing Relationships between Nodes 1-8 2018年12月査読有り
Taxonomy and Literature Survey of Security Pattern Research

Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Dan Yamaoto, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya …

IEEE Conference on Applications, Information and Network Security (AINS) 1-6 2018年11月査読有り
Taxonomy and Literature Survey of Security Pattern Research

Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Dan Yamamoto, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya …

AINS 2018 87-92 2018年11月査読有り

もっとみる

MISC

セキュリティパターン研究の分類体系と文献調査

鷲崎弘宜, XIA Tian, 鎌田夏実, 大久保隆夫, 小形真平, 海谷治彦, 加藤岳久, 鹿糠秀行, 田中昂文, 櫨山淳雄 …

情報処理学会研究報告(Web) 2018(SE-198) Vol.2018‐SE‐198,No.25,1‐7 (WEB ONLY) 2018年3月2日
ソフトウェアセキュリティ知識ベースを活用したセキュリティ要求分析からセキュリティ設計を支援するシステムの開発 (知能ソフトウェア工学)

宮原光, 櫨山淳雄, 田中昴文, 鷲崎弘宜, 海谷治彦, 大久保隆夫, 吉岡信和

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117(465) 67-72 2018年3月1日
ソフトウェアセキュリティ知識ベースを活用したセキュリティ要求分析からセキュリティ設計を支援するシステムの提案

櫨山淳雄, 宮原光, 田中昂文, 橋浦弘明, 鷲崎弘宜, 吉岡信和, 海谷治彦, 大久保隆夫

情報処理学会全国大会講演論文集 79th(1) 1.335‐1.336 2017年3月16日
プライバシーを考慮したソフトウェア開発技術の文献に基づく動向調査

櫨山淳雄, 鷲崎弘宜, 吉岡信和, 海谷治彦, 大久保隆夫

人工知能学会第18回知識流通ネットワーク研究会 2016年3月
形式検証を用いた攻撃分析フレームワークの提案

大久保隆夫, 海谷治彦, 鷲崎弘宣, 吉岡信和

コンピュータセキュリティシンポジウム2015 2015年10月
クラウドサービスの開発と運用においてセキュリティとプライバシを扱うためのメタモデル

鷲崎弘宜, 福本創太, 山本美聡, 芳澤正敏, 大久保隆夫, 小形真平, 海谷治彦, 加藤岳久, 櫨山淳雄, 吉岡信和

コンピュータセキュリティシンポジウム2015 2015年10月
画面遷移モデリングにおける関心事の分離法の検討 : 業務機能と使用性向上機能に着目して (知能ソフトウェア工学)

小形真平, 紙森翔平, 海谷治彦

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(231) 33-38 2015年9月24日
セキュリティ,プライバシー向け共通問題EMSsecの提案 (知能ソフトウェア工学)

大久保隆夫, 海谷治彦, 鷲崎弘宣

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(154) 69-74 2015年7月22日
ソフトウェアセキュリティ知識ベースを活用したセキュアなソフトウェア開発事例ベースの提案

櫨山淳雄, 齊藤大仁, 吉岡信和, 小橋孝紀, 鷲崎弘宜, 海谷治彦, 大久保隆夫

情報処理学会全国大会講演論文集 77th(1) 1.185-1.186 2015年3月17日
ソフトウェアセキュリティ知識を活用したセキュアなソフトウェア開発のための事例ベース管理システムの開発

齊藤大仁, 櫨山淳雄, 吉岡信和, 小橋孝紀, 鷲崎弘宜, 海谷治彦, 大久保隆夫

電子情報通信学会技術研究報告 114(501(KBSE2014 52-64)) 31-36 2015年2月26日
ソフトウェアセキュリティ知識ベースを活用したセキュアなWebアプリケーション開発事例ベースの試作

櫨山淳雄, 齊藤大仁, 吉岡信和, 熊谷梓, 小橋孝紀, 鷲崎弘宜, 海谷治彦, 大久保隆夫

電子情報通信学会技術研究報告 114(420(KBSE2014 39-51)) 49-54 2015年1月19日
MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals

Takao Okubo, Kenji Taguchi, Haruhiko Kaiya, Nobukazu Yoshioka

情報処理学会論文誌 55(5) 2014年5月15日
細粒度の利用者情報の流出を可視化するAndroidアプリ解析法 (知能ソフトウェア工学)

坂下卓弥, 小形真平, 海谷治彦, 海尻賢二

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(475) 85-90 2014年3月6日
国際会議ARES2013参加報告-セキュリティ共通問題の観点から-

大久保隆夫, 海谷治彦, 鷲崎弘宜

情報処理学会研究報告. マルチメディア通信と分散処理研究会報告 2014(44) 1-7 2014年2月27日
情報検索手法を用いたトレーサビリティリンクの確立によるデータセットの特徴評価 (知能ソフトウェア工学)

富井悠人, 海尻賢二, 海谷治彦, 小形真平

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(414) 59-63 2014年1月27日
最適なError-proneモジュール予測器を選択する手法の提案 (知能ソフトウェア工学)

内宮秀明, 小形真平, 海谷晴彦, 海尻賢二

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(414) 71-76 2014年1月27日
静的解析によるAndroidパーミッションの利用目的の可視化方法 (情報通信システムセキュリティ)

坂下卓弥, 小形真平, 海谷治彦, 海尻賢二

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(137) 143-149 2013年7月18日
静的解析によるAndroidパーミッションの利用目的の可視化方法 (情報セキュリティ)

坂下卓弥, 小形真平, 海谷治彦, 海尻賢二

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(135) 143-149 2013年7月18日
静的解析によるAndroidパーミッションの利用目的の可視化方法

坂下卓弥, 小形真平, 海谷治彦, 海尻賢二

研究報告セキュリティ心理学とトラスト（SPT） 2013(21) 1-7 2013年7月11日
Traceability link recoveryのためのmethod miningの提案 (知能ソフトウェア工学)

上田健之, 小形真平, 海谷治彦, 海尻賢二

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(71) 25-30 2013年5月30日

もっとみる

書籍等出版物

Designing Secure Software by Testing Application of Security Patterns

Takanori Kobashi, Hironori Washizaki, Nobukazu Yoshioka, Haruhiko Kaiya, Takao Okubo, Yoshiaki Fukazawa. (担当:共著, 範囲:Pattern description)

IGI global 2019年1月 (ISBN: 9781522563136)
ソフトウェアエンジニアリング最前線 2007―情報処理学会SEシンポジウム (2007)

海谷治彦, 山本修一郎編纂 (担当:共著)

近代科学社 2007年9月

Works(作品等)

Security Driven Requirements Refinement and Exploration of Architecture with multiple NFR points of view.

Takao Okubo, Nobukazu Yoshioka, and Haruhiko Kaiya

2014年1月その他
国際会議論文 IR based Traceability Link Recovery Method Mining. In The Eightth International Conference on Software Engineering Advances (ICSEA13)

Takeyuki Ueda, Shinpei Ogata, Haruhiko Kaiya, and Kenji Kaijiri.

2013年10月その他
国際会議論文 Validating Security Design Pattern Applications Using Model Testing, In Proceedings of International Conference on Availability, Reliability and Security (ARES 2013), IEEE CPS, 2-6 Sep., Regensburg, Germany.

Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki and Yoshiaki Fukazawa.

2013年9月その他
Goal-oriented security requirements analysis for a system used in several different activities

H. Kaiya, T. Okubo, N. Kanaya, Y. Suzuki, S. Ogata, K. Kaijiri, N. Yoshioka

2013年6月その他
Goal-oriented security requirements analysis for a system used in several different activities

H. Kaiya, T. Okubo, N. Kanaya, Y. Suzuki, S. Ogata, K. Kaijiri, and N. Yoshioka.

2013年6月その他
Model Transformation Patterns for Introducing Suitable Information Systems

H. Kaiya, S. Morita, S. Ogata, K. Kaijiri, S. Hayashi, M. Saeki

2012年12月その他
Model Transformation Patterns for Introducing Suitable Information Systems

H. Kaiya, S. Morita, S. Ogata, K. Kaijiri, S. Hayashi, and M. Saeki.

2012年12月その他
Predicting Quality Requirements Necessary for a Functional Requirement based on Machine Learning

Ken Tanaka, Haruhiko Kaiya, and Atsushi Ohnishi.

2012年11月その他
Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis

M. Umemura, H. Kaiya, S. Ogata and K. Kaijiri.

2012年8月その他
Mutual Refinement of Security Requirements and Architecture Using Twin Peaks Model

T. Okubo, H. Kaiya, and N. Yoshioka.

2012年7月その他
Improving Software Quality Requirements Specifications Using Spectrum Analysis

H. Kaiya and A. Ohnishi.

2012年7月その他
Facilitating Business Improvement by Information Systems using Model Transformation and Metrics

H. Kaiya, S. Morita, K. Kaijiri, S. Hayashi, and M. Saeki.

2012年6月その他
Effective Security Impact Analysis with Patterns for Software Enhancement

T. Okubo, H. Kaiya, N. Yoshioka

2011年8月その他
Effective Security Impact Analysis with Patterns for Software Enhancement

T. Okubo, H. Kaiya, and N. Yoshioka.

2011年8月その他
Spectrum Analysis for Software Quality Requirements using Analyses Records

H. Kaiya, S. Suzuki, T. Ogawa, M. Tanigawa, M. Umemura, and K. Kaijiri.

2011年7月その他
Quality Requirements Analysis using Requirements Frames

H. Kaiya and A. Ohnishi.

2011年7月その他
Exploring how to support software revision in software non-intensive projects using existing techniques

H. Kaiya, K. Hara, K. Kobayashi, A. Osada, and K. Kaijiri.

2011年7月その他
Checking Regulatory Compliance of Business Processes and Information Systems

M. Saeki, H. Kaiya, and S. Hattori.

2011年その他
Enhancing Domain Knowledge for Requirements Elicitation with Web Mining

H. Kaiya, Y. Shimizu, H. Yasui, K. Kaijiri, and M. Saeki.

2010年11月その他
Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques

M. Saeki and H. Kaiya.

2010年その他

もっとみる

共同研究・競争的資金等の研究課題

DevOpsにおいて効率的にセキュリティ品質確保を行う技術の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2021年4月 - 2024年3月

大久保隆夫, 海谷治彦
実行ログ解析による連携可能な情報システム群の発見法と支援ツール開発

日本学術振興会科学研究費助成事業基盤研究(C) 2021年4月 - 2024年3月

海谷治彦
複数活動間の相乗効果を促進するためのシステム要求変更手法とツールの開発

日本学術振興会科学研究費助成事業基盤研究(C) 2018年4月 - 2023年3月

海谷治彦
ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡

日本学術振興会科学研究費助成事業基盤研究(B) 2016年4月 - 2021年3月

鷲崎弘宜, 小形真平, 吉岡信和, 海谷治彦, 本田澄, 櫨山淳雄, 大久保隆夫, 坂本一憲
セキュリティとプライバシーの知識を成果物に関連付ける根拠モデルに基づく学習環境

日本学術振興会科学研究費助成事業基盤研究(C) 2017年4月 - 2020年3月

櫨山淳雄, 大久保隆夫, 海谷治彦, 橋浦弘明, 吉岡信和, 鷲崎弘宜
プライバシーとセキュリティを統合した要求分析フレームワーク

日本学術振興会科学研究費助成事業基盤研究(B) 2015年4月 - 2019年3月

吉岡信和, 海谷治彦, 櫨山淳雄, 鷲崎弘宜, 大久保隆夫
ゴール依存モデルとメトリクスを用いた要求獲得支援システムの構築

日本学術振興会科学研究費助成事業基盤研究(C) 2015年4月 - 2018年3月

海谷治彦
モデリングツールとソフトウェアセキュリティ知識ベースを連携したモデリング学習環境

日本学術振興会科学研究費助成事業基盤研究(C) 2014年4月 - 2017年3月

櫨山淳雄, 宮寺庸造, 齋藤大仁, 田中俊一, 田中昂文, 海谷治彦, 大久保隆夫, 吉岡信和, 鷲崎弘宜, 橋浦弘明
セキュリティの変化に迅速に対応できるパターン指向ソフトウェア開発法の研究

日本学術振興会科学研究費助成事業基盤研究(B) 2012年4月 - 2015年3月

吉岡信和, 鷲崎弘宜, 海谷治彦, 海谷治彦
情報システムの要求分析段階における脆弱性除去と対策選択を支援するシステムの開発

日本学術振興会科学研究費助成事業基盤研究(C) 2011年 - 2013年

海谷治彦
セマンティック要求工学の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2011年 - 2013年

佐伯元司, 海谷治彦, 林晋平
スペクトル分析を用いたソフトウェア品質要求の妥当性と継承の確認法

日本学術振興会科学研究費助成事業基盤研究(C) 2008年 - 2010年

海谷治彦
法令や規則に適合したソフトウェア要求の獲得技術の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2008年 - 2010年

佐伯元司, 海谷治彦, 林晋平
要求工学における品質評価指標の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2007年 - 2008年

廣田豊彦, 中所武司, 橋本正明, 佐伯元司, 大西淳, 中谷多哉子, 海谷治彦, 白銀純子, 阿萬裕久, 中所武司, 橋本正明, 佐伯元司, 大西淳, 中谷多哉子
類似既存システムの比較とステークホルダ毎の保有知識に基づく要求定義支援法

日本学術振興会科学研究費助成事業基盤研究(C) 2006年 - 2007年

海谷治彦
リポジトリを用いた要求獲得と要求進化の支援技術の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2005年 - 2006年

佐伯元司, 大西淳, 海谷治彦
オントロジを用いたソフトウェア要求分析・設計技術の研究

日本学術振興会科学研究費助成事業特定領域研究 2004年 - 2005年

佐伯元司, 田中穂積, 海谷治彦
ゴール指向分析を用いたJavaセキュリティポリィシィの確認法

日本学術振興会科学研究費助成事業若手研究(B) 2003年 - 2004年

海谷治彦
ソフトウェアパッケージ指向の要求工学の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2003年 - 2004年

佐伯元司, 大西淳, 古宮誠一, 海谷治彦, 加藤潤三, 山本修一郎
面接型教育支援システム構築を題材とした新技術導入の効果見積もり法の評価

日本学術振興会科学研究費助成事業奨励研究(A) 2000年 - 2001年

海谷治彦

もっとみる

海谷治彦

基本情報

研究キーワード

研究分野

論文

MISC

書籍等出版物

Works(作品等)

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧