UMLによるプロテクションプロファイルのモデル化とその形式的検証

IR Web Site 2 Citations 37 References

Bibliographic Information

Other Title
  • UML ニ ヨル プロテクションプロファイル ノ モデルカ ト ソノ ケイシキテキ ケンショウ

Search this article

Abstract

type:text

プロテクションプロファイルは，様々な情報システムにおけるセキュリティ仕様書の雛形であり， ISO/IEC15408という国際基準によりセキュリティが保証されている．しかしながら，扱う分野についての明確な規定がないことや，文書構造に問題があるため，実際にはほとんど利用されていない．本論文ではプロテクションプロファイルを効果的に利用できるよう，UMLによるモデル化を提案する．このモデル化により，ISO/IEC15408のセキュリティ基準に準拠した仕様記述を容易にする．また，モデル化したプロテクションプロファイルを用いて記述した仕様がセキュリティ基準を満たすかどうかを，定理証明技法とモデル検査技法により検証する技法を示す．

copyright(c)2006 IEICE許諾番号：08RB0010　http://search.ieice.org/index.html

Journal

Citations (2)*help

See more

References(37)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top