文献

J-GLOBAL ID：201702228203855897   整理番号：17A0690419

セキュリティ要求分析・保証の統合手法CC-Caseの有効性評価実験

Evaluation Practice for the Effectiveness of CC-Case as an Integrated Method of Security Requirement Analysis and Assurance

著者 (7件)： 金子朋子 (情報セキュリティ大学院大) ,  高橋雄志 (東京電機大) ,  勅使河原可海 (東京電機大) ,  吉岡信和 (国立情報学研) ,  山本修一郎 (名古屋大) ,  大久保隆夫 (情報セキュリティ大学院大) ,  田中英彦 (情報セキュリティ大学院大)
資料名： 情報処理学会研究報告(Web)  (IPSJ Technical Report (Web))
巻： 2017  号： CDS-19  ページ： Vol.2017-CDS-19,No.16,1-8 (WEB ONLY)  発行年： 2017年05月18日 
JST資料番号： U0451A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 筆者らが提案してきたCC-Caseはコモンクライテリア(CC)とアシュアランスケースを用いてセキュリティ要求分析と保証を実現する手法である。CC-Case自体が含んでいる要素の中でもライフサイクル全体を通じて用いられるアシュアランスケースは根幹をなすものである。CC-Caseのアシュアランスケースは単にGSNの表記方法ではなく,プロセスを論理モデルとして定義し,そのプロセスに則っていることを具体モデルによって提示する手法である。ただし,CC-Caseのアシュアランスケースがどの程度の有効性をもつのかははっきり示していなかった。そこで,脅威分析のプロセスを論理モデル化したCC-Case,GSNと自然言語表記を比較する実験を実施し,要件の可視化と妥当性確認における有効性を評価した。(著者抄録)

シソーラス用語： *ライフサイクル ,  *自然言語 ,  *条件 ,  *モデリング ,  可視化 ,  認証
準シソーラス用語： *情報アシュアランス ,  セキュリティ要件 ,  脅威

分類 (2件)： 技術の標準化・規格  (JA01060E) ,  移動通信  (ND08030H)

引用文献 (21件)：

• Common Criteria for Information Technology Security Evaluation, http://www.commoncriteriaportal.org/cc/
• セキュリティ評価基準(CC/CEM) http://www.ipa.go.jp/security/jisec/cc/index.html
• 田淵治樹:国際規格による情報セキュリティの保証手法,日科技連,2007年7月
• ISO/IEC15026-2-2011,Systems and Software engineering-Part2:Assurance case
• 金子朋子,山本修一郎,田中英彦: CC-Case~コモンクライテリア準拠のアシュアランスケースによるセキュリティ要求分析・保証の統合手法, 情報処理学会論文誌55巻9号(2014)

タイトルに関連する用語 (8件)： セキュリティ ,  要求分析 ,  保証 ,  統合 ,  手法 ,  CASE ,  有効性評価 ,  実験