Haruhiko Kaiya

Profile Information

Affiliation: Professor, Faculty of Informatics Department of Computer Science, Kanagawa University

J-GLOBAL ID: 201101011820025090
researchmap Member ID: B000000599

External link: http://www.sci.kanagawa-u.ac.jp/info/kaiya/index.html.en

Photo in Hveragerði

Research Interests

Research Areas

Papers

130

Finding Contributable Activities Using Non-Verb Attributes In Events

H. kaiya, H. Takecuhi, H. Nakagawa, S. Ogata, S. Saito

Procedia Computer Science, 225 507-516, Sep, 2023 Peer-reviewedLead author
Efficient secure DevOps using process mining and Attack Defense Trees

Takao Okubo, Haruhiko Kaiya

Procedia Computer Science, 207 446-455, Sep, 2022 Peer-reviewed
A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking

Procedia Computer Science, 207 542-551, Sep, 2022 Peer-reviewed
A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test

Shinpei Ogata, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi

Learning and Analytics in Intelligent Systems, 30 141-153, Aug, 2022 Peer-reviewed
Reference Model for Agile Development of Machine Learning-based Service Systems

Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata

17-20, Dec, 2021 Peer-reviewed
Tools for logging and analyzing goal dependency modeling

Haruhiko Kaiya, Kouta Hayashi, Yu Sato

Procedia Computer Science, 192 1639-1648, Aug, 2021
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, Jul, 2021
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 …

Information, 12(1) 36-36, Jan 16, 2021
Evaluating Mutual Requirements Evolution of Several Information Systems

Haruhiko Kaiya

Procedia Computer Science, 176 1251-1260, Oct, 2020 Peer-reviewed
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

Procedia Computer Science, 176 1449-1458, Oct, 2020 Peer-reviewed
Quantitative Analysis of Goal Oriented Requirements Models

Haruhiko Kaiya

Learning and Analytics in Intelligent Systems, 19 1-6, Jul, 2020 Invited
Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling

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

Learning and Analytics in Intelligent Systems, 19 70-83, Jul, 2020 Peer-reviewed
Mutual Requirements Evolution by Combining Different Information Systems

PCI '19 Proceedings of the 23rd Pan-Hellenic Conference on Informatics, 159-162, Nov, 2019 Peer-reviewed
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

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), 134-140, Sep, 2019 Peer-reviewed
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, Sep, 2019 Peer-reviewed
Landscape of IoT patterns

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

SERP4IoT, 57-60, May, 2019 Peer-reviewed
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 Peer-reviewed
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, Dec, 2018 Peer-reviewed
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, Nov, 2018 Peer-reviewed
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, Nov, 2018 Peer-reviewed

Misc.

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

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

情報処理学会研究報告(Web), 2018(SE-198) Vol.2018‐SE‐198,No.25,1‐7 (WEB ONLY), Mar 2, 2018
Development of a System Supporting Security Design from Security Requirements Analysis using a Software Security Knowledge Base

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

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

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

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

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

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

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

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

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

コンピュータセキュリティシンポジウム2015, Oct, 2015
Towards Separation of Concerns in Screen Transition Modeling : Case of Business and Usability Features

115(231) 33-38, Sep 24, 2015
Proposal of EMSsec-Common Problem for Security and Privacy

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

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

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

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

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

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

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

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

Takao Okubo, Kenji Taguchi, Haruhiko Kaiya, Nobukazu Yoshioka

55(5), May 15, 2014
An Android Application Analysis Method for Highlighting Disclosure of Fine-Grained User Information

SAKASHITA Takuya, OGATA Shinpei, KAIYA Haruhiko, KAIJIRI Kenji

Technical report of IEICE. KBSE, 113(475) 85-90, Mar 6, 2014
国際会議ARES2013参加報告-セキュリティ共通問題の観点から-

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

情報処理学会研究報告. マルチメディア通信と分散処理研究会報告, 2014(44) 1-7, Feb 27, 2014
Recovering Traceability for using information retrieved methods

TOMII Yuto, KAIJIRI Kenji, KAIYA Haruhiko, OGATA Shinpei

Technical report of IEICE. KBSE, 113(414) 59-63, Jan 27, 2014
The proposal of the technique of selecting the optimal Error-prone module prediction

Uchimiya Hideaki, Ogata Sinpei, kaiya Haruhiko, Kaijiri Kenji

Technical report of IEICE. KBSE, 113(414) 71-76, Jan 27, 2014
Static Analysis for Highlighting what Android Application does with Permissions

SAKASHITA TAKUYA, OGATA SHINPEI, KAIYA HARUHIKO, KAIJIRI KENJI

IEICE technical report. Information and communication system security, 113(137) 143-149, Jul 18, 2013
Static Analysis for Highlighting what Android Application does with Permissions

SAKASHITA TAKUYA, OGATA SHINPEI, KAIYA HARUHIKO, KAIJIRI KENJI

Technical report of IEICE. ISEC, 113(135) 143-149, Jul 18, 2013
Static Analysis for Highlighting what Android Application does with Permissions

2013(21) 1-7, Jul 11, 2013
Proposal of method mining for the Traceability link recovery

UEDA Takeyuki, Ogata Sinpei, Kaiya Haruhiko, KAIJIRI Kenji

Technical report of IEICE. KBSE, 113(71) 25-30, May 30, 2013

Books and Other Publications

Designing Secure Software by Testing Application of Security Patterns

Takanori Kobashi, Hironori Washizaki, Nobukazu Yoshioka, Haruhiko Kaiya, Takao Okubo, Yoshiaki Fukazawa. (Role: Joint author, modeling patterns)

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

海谷治彦, 山本修一郎編纂 (Role: Joint author)

近代科学社, Sep, 2007

Works

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

Takao Okubo, Nobukazu Yoshioka, and Haruhiko Kaiya

Jan, 2014 Other
国際会議論文 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.

Oct, 2013 Other
国際会議論文 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.

Sep, 2013 Other
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

Jun, 2013 Other
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.

Jun, 2013 Other
Model Transformation Patterns for Introducing Suitable Information Systems

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

Dec, 2012 Other
Model Transformation Patterns for Introducing Suitable Information Systems

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

Dec, 2012 Other
Predicting Quality Requirements Necessary for a Functional Requirement based on Machine Learning

Ken Tanaka, Haruhiko Kaiya, and Atsushi Ohnishi.

Nov, 2012 Other
Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis

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

Aug, 2012 Other
Mutual Refinement of Security Requirements and Architecture Using Twin Peaks Model

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

Jul, 2012 Other
Improving Software Quality Requirements Specifications Using Spectrum Analysis

H. Kaiya and A. Ohnishi.

Jul, 2012 Other
Facilitating Business Improvement by Information Systems using Model Transformation and Metrics

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

Jun, 2012 Other
Effective Security Impact Analysis with Patterns for Software Enhancement

T. Okubo, H. Kaiya, N. Yoshioka

Aug, 2011 Other
Effective Security Impact Analysis with Patterns for Software Enhancement

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

Aug, 2011 Other
Spectrum Analysis for Software Quality Requirements using Analyses Records

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

Jul, 2011 Other
Quality Requirements Analysis using Requirements Frames

H. Kaiya and A. Ohnishi.

Jul, 2011 Other
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.

Jul, 2011 Other
Checking Regulatory Compliance of Business Processes and Information Systems

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

2011 Other
Enhancing Domain Knowledge for Requirements Elicitation with Web Mining

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

Nov, 2010 Other
Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques

M. Saeki and H. Kaiya.

2010 Other

Research Projects

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

科学研究費助成事業, 基盤研究(C), 日本学術振興会, Apr, 2021 - Mar, 2024

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

科学研究費助成事業, 基盤研究(C), 日本学術振興会, Apr, 2021 - Mar, 2024

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

科学研究費助成事業, 基盤研究(C), 日本学術振興会, Apr, 2018 - Mar, 2023

海谷治彦
Trace ANY: tracing any software in any direction to support software system maintenance and evolution

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2016 - Mar, 2021

Washizaki Hironori
A learning environment based on a rationale model associating of artifacts with knowledge on security and privacy

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2020

HAZEYAMA Atsuo
Integrated Framework of Security and Privacy Requirements Engineering

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2015 - Mar, 2019

YOSHIOKA NOBUKAZU, Fernandez Eduardo, Yu Yijun, Nuseibeh Bashar
System development for the requirements elicitation using goal dependency models and metrics

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2015 - Mar, 2018

Kaiya Haruhiko
A Security Modeling Learning Environment Integrating a Modeling Tool with Software Security Knowledge Base

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2014 - Mar, 2017

Hazeyama Atsuo, MIYADERA Youzou, SAITO Masahito, TANAKA Shun'ichi, TANAKA Takafumi, KAIYA Haruhiko, OKUBO Takao, YOSHIOKA Nobukazu, WASHIZAKI Hironori
A Pattern Oriented Software Development Method for Agile Adaptation to Security Changes

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2012 - Mar, 2015

YOSHIOKA Nobukazu, WASHIZAKI Hironori, KAIYA Haruhiko
A supporting system for predicting vulnerabilities and their countermeasures of an information system during requirements analysis

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2011 - 2013

KAIYA Haruhiko
Study on Semantic Requirements Engineering

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2011 - 2013

SAEKI Motoshi, KAIYA Haruhiko, HAYASHI Shinpei
A spectrum analysis method for validating software quality requirements and for confirming their inheritance

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2008 - 2010

KAIYA Haruhiko
Study on the Techniques for Eliciting Software Requirements Compliant with Regulations

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2008 - 2010

SAEKI Motoshi, KAIYA Haruhiko, HAYASHI Shinpei
Research on Quality Evaluation Metrics in Requirements Engineering

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2007 - 2008

HIROTA Toyohiko, CHUUSHO Takeshi, HASHIMOTO Masaaki, SAEKI Motoshi, OHNISHI Atsushi, NAKATANI Takako, KAIYA Haruhiko, SHIROGANE Junko, AMAN Hirohisa
Requirements definition methane-sad on comparison among existing systems and kncwkdge ofStakeholders

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2006 - 2007

KAIYA Haruhiko
Research on Software Requirements Elicitation and Evolution using Repository Technology

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2005 - 2006

SAEKI Motoshi, OHNISHI Atsushi, KAIYA Haruhiko
オントロジを用いたソフトウェア要求分析・設計技術の研究

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

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

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

海谷治彦
Research on Package-Oriented Requirements Engineering

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2003 - 2004

SAEKI Motoshi, OHNISHI Atsushi, KOMIYA Seiichi, KAIYA Haruhiko, KATO Junzo, YAMAMOTO Shuichiro
面接型教育支援システム構築を題材とした新技術導入の効果見積もり法の評価

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

海谷治彦

Profile Information

Research Interests

Research Areas

Papers

Misc.

Books and Other Publications

Works

Research Projects

Menu

Coauthors