研究者情報 | 神奈川大学

カイヤ　ハルヒコ Kaiya Haruhiko 海谷　治彦所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	英語
発行・発表の年月	2014/09
形態種別	その他論文
査読	査読あり
標題	Verification of Implementing Security Design Patterns Using a Test Template
執筆形態	共著
掲載誌名	Proceedings of International Conference on Availability, Reliability and Security (ARES 2014)
出版社・発行元	IEEE
巻・号・頁	pp.178-183
著者・共著者	Masatoshi Yoshizawa, Takanori Kobashi, Hironori Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka.