カイヤ ハルヒコ   Kaiya Haruhiko
  海谷 治彦
   所属   神奈川大学  情報学部 計算機科学科
    神奈川大学大学院  理学研究科 理学専攻(情報科学領域)
   職種   教授
言語種別 日本語
発行・発表の年月 2013/09
形態種別 その他
標題 国際会議論文
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.
執筆形態 共著
巻・号・頁 62-71頁
著者・共著者 Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki and Yoshiaki Fukazawa.