カイヤ ハルヒコ   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.