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

基本情報

所属: 神奈川大学理学部情報科学科教授

研究者番号: 30262596
J-GLOBAL ID: 201101011820025090
researchmap会員ID: B000000599

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

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

研究キーワード

研究分野

情報通信 / ソフトウェア /

論文

117

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月査読有り
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, Atsuo Hazeyama

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, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka, G. Priyalakshmi

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, Takehisa Kato, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka, G Priyalakshmi

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, Takehisa Kato, Takafumi Tanaka, Atsuo Hazeyama, Nobukazu Yoshioka, G Priyalakshmi

AINS 2018 87-92 2018年11月査読有り
Meta-Requirements for Information System Requirements: Lesson Learned from Software Ecosystem Researches.

Haruhiko Kaiya

Procedia Computer Science 126 1243-1252 2018年9月査読有り
Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model.

Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki

Smart Innovation, Systems and Technologies 108 158-167 2018年8月査読有り

もっとみる

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, 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, 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月その他
Model Transformation Patterns for Introducing Suitable Information Systems

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

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

Ken Tanaka, Haruhiko Kaiya, Atsushi Ohnishi

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

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

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

T. Okubo, H. Kaiya, N. Yoshioka

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

H. Kaiya, A. Ohnishi

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

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

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

T. Okubo, H. Kaiya, N. Yoshioka

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

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

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

H. Kaiya, 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, K. Kaijiri

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

M. Saeki, H. Kaiya, S. Hattori

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

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

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

M. Saeki, H. Kaiya

2010年その他
A Tool for Attributed Goal-Oriented Requirements Analysis

Motoshi Saeki, Shinpei Hayashi, and, Haruhiko Kaiya

2009年11月その他
ソフトウェア成果物のためのスペクトル分析

2009年9月その他
Tool Support for Requirements Changes in AGORA

Motoshi Saeki, Shinpei Hayashi, and, Haruhiko Kaiya

2009年9月その他

もっとみる

海谷治彦

基本情報

研究キーワード

研究分野

論文

MISC

書籍等出版物

Works(作品等)

メニュー

共著者の一覧