モリモト ショウイチ   MORIMOTO Shoichi
  森本 祥一
   所属   専修大学  経営学部
   職種   教授
言語種別 英語
発行・発表の年月 2009/03
形態種別 研究論文(国際会議プロシーディングス)
査読 査読あり
標題 FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408
執筆形態 共著
掲載誌名 IEEE-CS, Proceedings of the 4th International Conference on Availability, Reliability and Security
掲載区分国外
巻・号・頁 pp.624-629
総ページ数 6
著者・共著者 Kenichi Yajima, Daisuke Horie, Noor Shelia Azreen, Yuichi Goto, and Jingde Cheng
DOI 10.1109/ARES.2009.74