文献

J-GLOBAL ID：202002240213483339   整理番号：20A1074914

セキュリティ要求仕様:形式的方法の展望【JST・京大機械翻訳】

Security Requirements Specification: A Formal Method Perspective

著者 (2件)： Mishra Aditya Dev (Jamia Millia Islamia, A Central University,Department of Computer Science,New Delhi,INDIA) ,  Mustafa K. (Jamia Millia Islamia, A Central University,Department of Computer Science,New Delhi,INDIA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： INDIACom  ページ： 113-117  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ここ数年,ソフトウェアセキュリティ要件の分野は根本的に変化した。セキュリティ要件仕様は現在広く認識されており,ソフトウェアエンジニアリングコミュニティとセキュリティ保証コミュニティの両方における活発に追求された研究課題の中で,その中では,これらの研究課題の中にあるセキュリティは,今日,重要性と増加するすべての方法の観点から,ソフトウェア品質の不可欠な側面である。多くの品質と信頼性指向ソフトウェアプロセスは,それを後の活動として取り入れるために,それを省略するか,少なくとも延期する。セキュリティ要件問題の範囲はセキュリティに制限されないが,全体のソフトウェアライフサイクルにその効果を拡張する。セキュリティ問題のほぼ50%はこのフェーズに由来し,不十分な/不正確な仕様になる。巨大な固定努力とコストにつながる。したがって,このような問題を避けるためには,より正確に,一貫して,適切にセキュリティ要件を特定する必要がある。形式的方法の利点を実現して,形式的方法によるセキュリティ要求仕様のためのフレームワークを提案した。提案したフレームワークの目的は,セキュリティ要件を形式的に特定し,SDLCと同じものを統合することである。提案したフレームワークの主な目標は,セキュリティ技術者を,分類,誘導,およびセキュリティ要件の仕様について,要求工学プロセスの間,正確に,系統的かつ明確に支援することである。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 信頼性 ,  ライフサイクル ,  コミュニティ ,  *ソフトウェア ,  ソフトウェア工学 ,  セキュリティ ,  ソフトウェアプロセス
準シソーラス用語： 要求工学 ,  ソフトウェア品質 ,  セキュリティ要件 ,  ソフトウェアセキュリティ , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： セキュリティ ,  要求仕様 ,  形式的方法 ,  展望