モリモト ショウイチ   MORIMOTO Shoichi
  森本 祥一
   所属   専修大学  経営学部
   職種   教授
言語種別 日本語
発行・発表の年月 2005/10
形態種別 機関テクニカルレポート,技術報告書,プレプリント等
標題 ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
執筆形態 共著
掲載誌名 産業技術総合研究所システム検証研究センター 算譜科学研究速報
掲載区分国内
巻・号・頁 PS-2005-17,12-23頁
総ページ数 12
著者・共著者 重松 真二郎, 後藤 祐一, 程 京徳