文献

J-GLOBAL ID：202002242295203404   整理番号：20A0965107

サービスセキュリティ保証ケースをサポートする技術としてのサービス実現可能性チェック【JST・京大機械翻訳】

Service Realizability Check as a Technique to Support a Service Security Assurance Case

著者 (3件)： Filipovikj Predrag (KTH Royal Institute of Technology,Stockholm,Sweden) ,  Causevic Aida (Maelardalen University,Vaestera&s,Sweden) ,  Lisova Elena (Maelardalen University,Vaestera&s,Sweden)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： ICIT  ページ： 973-980  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： クラウドコンピューティングにおける進歩は,クラウドサービスを,ユーザのニーズに適合するために,サービスの柔軟性と利用可能性を可能にするための魅力的な解決策として作っている。サービス提供の用語と保証を交渉し,次にサービスレベル協定(SLA)において述べた。このようなサービスのより広い受け入れを容易にするために,標準的な特性の他に,セキュリティも考慮しなければならない。これを容易にする一つの方法は,対応するセキュリティ保証事例を提供することである。この目的のために,本研究では,独立した第三者とサービスユーザの間のセキュリティサービス評価を分割することを提案し,前者はセキュリティ保証ケースを評価し,後者はサービスのために実装された特別なセキュリティソリューションを交渉する。独立して評価されるセキュリティプロセスの系統的部分に対して,本論文では,SLA内で表現されるサービス制約の形式的実現可能性チェックに焦点を当てた。これを可能にするために,合意セキュリティレベルを維持するために必要な頻繁な更新により必要とされるサービス設計と実行時間の両方でチェックを形式化した。形式化はSLAC言語のために特別に調整される。それはセキュリティ目的の提案された集合をカバーするために拡張される。さらに,SLAC言語により表現されたSLAの例を用いて,セキュリティ保証を含めてアプローチを説明した。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)

タイトルに関連する用語 (5件)： サービス ,  セキュリティ ,  保証 ,  実現可能性 ,  チェック