文章基本信息

标题：ISO/IEC 15408に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
本地全文：下载
作者：森本祥一 ; 重松真二郎 ; 後藤祐一等
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2006
卷号：23
期号：3
页码：3_117-3_133
DOI：10.11309/jssst.23.3_117
出版社：Japan Society for Software Science and Technology
摘要：
情報システムの設計・開発において，セキュリティ仕様とその検証は重要な課題となっている．検証を行うには基準が必要であるが，情報システムが備えるべきセキュリティの基準を定めることは難しい．このため本論文では，IT製品や情報システムのセキュリティ評価の国際標準であるISO/IEC15408を基準として採用し，これに基づいた情報セキュリティ仕様の形式手法による検証技法を提案する．本検証技法では，形式的に記述したISO/IEC15408のセキュリティ評価基準を用いて，対象となる情報システムの仕様がISO/IEC15408の基準を満たしているかどうかを定理証明とモデル検査により厳密に検証することができる．