文献

J-GLOBAL ID：202002268286819025   整理番号：20A0856347

VMスケジューリングを用いたクラウドシステムにおけるサイドチャネルの戦いからのオーバーヘッド【JST・京大機械翻訳】

The Overhead from Combating Side-Channels in Cloud Systems Using VM-Scheduling

著者 (4件)： Juma Nahid (Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ontario, Canada) ,  Shahen Jonathan (Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ontario, Canada) ,  Bijon Khalid (Composure.AI (formerly called MosaixSoft Inc.), Los Altos, CA) ,  Tripunitara Mahesh (Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ontario, Canada)
資料名： IEEE Transactions on Dependable and Secure Computing  (IEEE Transactions on Dependable and Secure Computing)
巻： 17  号： 2  ページ： 422-435  発行年： 2020年 
JST資料番号： W1410A  ISSN： 1545-5971  CODEN： ITDSCM  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 最近の研究は,セキュリティを考慮したスケジューリングが,仮想マシン(VM)が雲に共存する場合に存在するサイドチャネルを介して,情報漏洩を最小化するのに効果的であることを示唆している。このようなアプローチによって生じるオーバヘッドを解析した。著者らは,最初に,基本的な問題を提起し,答えた。著者らは,2つの等容量サーバだけを横切る初期配置と移動の外見上より簡単なサブケースが両方とも(NP-ハードNP困難)であることを示した。しかし,最適化バージョンが多項式的に関連する一般的問題の決定版はNPNPにある。これらの結果を基に,いくつかの他の寄与を行った。本論文では,この問題に対するgre欲なアルゴリズムを提案する最近の研究を再検討した。もしPot=NPP≠NPの場合には,入力の無限数が無限に存在し,情報漏洩の減少が可能であるが,Nomadはそれを最小にすることができないことを確立した。また,先の研究における整数線形計画法(ILP)へのマッピングは,マッピングが非効率的(指数関数的時間)であるという欠点があり,従って,Nomadとは異なり,実際には情報漏洩を減少させるようなアプローチのオーバーヘッドを正確に伝えることはできない。著者らは,結合正規形(CNF-SAT)におけるILPへの著者らの効率的な減少とboolean充足可能性を提示する。これらの手法を実装し,以前の研究として同じILPソルバを用いて経験的評価を行い,SATソルバを実行した。著者らの解析的および経験的結果は,実際にセキュリティ(情報漏洩の減少)を提供するアプローチによって引き起こされるオーバーヘッドをより正確に伝達する。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 多項式 ,  チャネル ,  指数関数 ,  整数線形計画法 ,  *スケジューリング ,  セキュリティ ,  NP困難 ,  仮想機械システム ,  最適化 ,  アルゴリズム
準シソーラス用語： ソルバ ,  情報漏洩 ,  *オーバヘッド , 【Automatic Indexing@JST】

分類 (2件)： 無線通信一般  (ND08010L) ,  信号理論  (ND02020G)

タイトルに関連する用語 (4件)： スケジューリング ,  クラウド ,  チャネル ,  オーバーヘッド