モリモト ショウイチ   MORIMOTO Shoichi
  森本 祥一
   所属   専修大学  経営学部
   職種   教授
言語種別 英語
発行・発表の年月 2007/03
形態種別 研究論文(国際会議プロシーディングス)
査読 査読あり
標題 Formal Verification of Security Specifications with Common Criteria
執筆形態 共著
掲載誌名 ACM, Proceedings of the 2007 ACM symposium on Applied computing
掲載区分国外
巻・号・頁 pp.1506-1512
総ページ数 7
著者・共著者 Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng
DOI 10.1145/1244002.1244325