文献

J-GLOBAL ID：201702225652007386   整理番号：17A1359002

FESR:共通基準と筋力低下検出形式的モデルの統合に基づく誘発セキュリティ要求のためのフレームワーク【Powered by NICT】

FESR: A Framework for Eliciting Security Requirements Based on Integration of Common Criteria and Weakness Detection Formal Model

著者 (6件)： Li Hongbo ,  Li Xiaohong ,  Hao Jianye ,  Xu Guangquan ,  Feng Zhiyong ,  Xie Xiaofei
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： QRS  ページ： 352-363  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 実装に基づくている最初に対応するセキュリティ要求を提案するために重要であり,第一である。しかし,共通基準(CC)に基づく以前のセキュリティ要求抽出作業は特殊な機能要求,特殊な機能要求とそれらの対応する脅威の広幅ギャップをもたらすからの脅威の詳細な導出プロセスを扱ったことは稀である。この目的のために,本論文では,要求仕様からの特異的機能的要求の対応するセキュリティ要件を引き出すためのフレームワークを提案した。形式モデルは半自動採水脅威における要求分析者を支援するための枠組みの中で構築した。フレームワークの自動性と再利用性を高めるために,フレームワークを支援するためのセキュリティ特性の信頼できる源に基づいて構築したセキュリティ特性ベース。実用的な情報システムは,フレームワークの実用性を検証するために適用した。最後にフレームワークの利点と限界を以前のアプローチと比較して徹底的に議論し,を明らかにした有用な洞察。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *セキュリティ ,  取水 ,  情報システム ,  要求分析 ,  *筋力低下 ,  *モデル ,  再利用
準シソーラス用語： 実用性 ,  形式モデル ,  セキュリティ要件 ,  機能要求 , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  データ保護  (JD01020V)

タイトルに関連する用語 (6件)： 筋力低下 ,  モデル ,  統合 ,  誘発 ,  セキュリティ ,  フレームワーク