書誌事項
- タイトル別名
-
- UML ニ ヨル プロテクションプロファイル ノ モデルカ ト ソノ ケイシキテキ ケンショウ
この論文をさがす
抄録
type:text
プロテクションプロファイルは，様々な情報システムにおけるセキュリティ仕様書の雛形であり， ISO/IEC15408という国際基準によりセキュリティが保証されている．しかしながら，扱う分野についての明確な規定がないことや，文書構造に問題があるため，実際にはほとんど利用されていない．本論文ではプロテクションプロファイルを効果的に利用できるよう，UMLによるモデル化を提案する．このモデル化により，ISO/IEC15408のセキュリティ基準に準拠した仕様記述を容易にする．また，モデル化したプロテクションプロファイルを用いて記述した仕様がセキュリティ基準を満たすかどうかを，定理証明技法とモデル検査技法により検証する技法を示す．
copyright(c)2006 IEICE許諾番号：08RB0010 http://search.ieice.org/index.html
収録刊行物
-
- 電子情報通信学会論文誌. D, 情報・システム
-
電子情報通信学会論文誌. D, 情報・システム J89-D (4), 726-742, 2006
社団法人電子情報通信学会
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050564287771423488
-
- NII論文ID
- 110007380436
- 10019396756
-
- NII書誌ID
- AA12099634
-
- ISSN
- 18804535
-
- NDL書誌ID
- 7916662
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles