@article{oai:sucra.repo.nii.ac.jp:00013268,
 author = {森本, 祥一 and 重松, 真二郎 and 後藤, 祐一 and 程, 京徳},
 issue = {3},
 journal = {コンピュータソフトウェア},
 month = {},
 note = {http://www.jstage.jst.go.jp/article/jssst/23/3/23_3_117/_article/-char/ja/ | http://www.jstage.jst.go.jp/article/jssst/23/3/23_3_117/_article/-char/ja/, 情報システムの設計・開発において，セキュリティ仕様とその検証は重要な課題となっている．検証を行うには基準が必要であるが，情報システムが備えるべきセキュリティの基準を定めることは難しい．このため本論文では，IT製品や情報システムのセキュリティ評価の国際標準であるISO/IEC15408を基準として採用し，これに基づいた情報セキュリティ仕様の形式手法による検証技法を提案する．本検証技法では，形式的に記述したISO/IEC15408のセキュリティ評価基準を用いて，対象となる情報システムの仕様がISO/IEC15408の基準を満たしているかどうかを定理証明とモデル検査により厳密に検証することができる．, text, application/pdf},
 pages = {117--133},
 title = {ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法},
 volume = {23},
 year = {2006},
 yomi = {モリモト, ショウイチ and ゴトウ, ユウイチ and チェン, ジンデ}
}