AWSベースネットワークのための可到達性解析【JST・京大機械翻訳】

Backes John; Bayless Sam; Bayless Sam; Cook Byron; Cook Byron; Dodge Catherine; Gacek Andrew; Hu Alan J.; Kahsai Temesghen; Kocik Bill; Kotelnikov Evgenii; Kotelnikov Evgenii; Kukovec Jure; Kukovec Jure; McLaughlin Sean; Reed Jason; Rungta Neha; Sizemore John; Stalzer Mark; Srinivasan Preethi; Subotic Pavle; Subotic Pavle; Varming Carsten; Whaley Blake

文献

J-GLOBAL ID：201902233175486769 整理番号：19A1785766

AWSベースネットワークのための可到達性解析【JST・京大機械翻訳】

Reachability Analysis for AWS-Based Networks

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=19A1785766&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=19A1785766&from=J-GLOBAL&jstjournalNo=H0078D") }}

著者 (24件)： , , , , , , , , , , , , , , , , , , , , , , ,
資料名：
巻： 11562 ページ： 231-241 発行年： 2019年
JST資料番号： H0078D ISSN： 0302-9743 資料種別：会議録 (C)
記事区分：原著論文発行国：ドイツ (DEU) 言語：英語 (EN)

クラウドサービスは,インターネット上の需要に関する仮想ネットワークインフラストラクチャを提供する能力を提供する。これらの仮想的に提供されたクラウドネットワークの急速な成長は,ミス構成あるいはセキュリティ脆弱性を同定することができる自動推論ツールに対する需要を増加させている。このタイプの自動化は,顧客が敏感な作業負荷を展開する必要がある保証を与える。それはまた,クラウドベースのアプリケーションに対するコンプライアンス認証を確立するために,規制された顧客に対するコストと時間-市場を削減することができる。この産業事例研究において,著者らは,TIROSと呼ばれる新しいネットワーク到達可能性推論ツールを記述する。それは,この必要性を満たすために,オフ-シェルフド自動化定理証明ツールを使用する。TIROSは,現在,クラウドにおける顧客建築アプリケーションの数百万に利用可能なアマゾン投資家サービスにおける最近導入されたネットワークセキュリティ解析特徴の基礎である。TIROSは,既存のAWSネットワーク特徴を構築する多くのAWSサービスに対するコンプライアンス認証とセキュリティ不変量への順守のチェックを自動化するために,アマゾンWebサービス(AWS)の中でも使用されている。Copyright 2019 The Author(s) Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

計算機網 , 人工知能

前のページに戻る