文献

J-GLOBAL ID：202002271146662909   整理番号：20A2085315

MQTTシステムのための自動セキュリティテストケース生成のためのアーキテクチャ【JST・京大機械翻訳】

An Architecture for Automated Security Test Case Generation for MQTT Systems

著者 (3件)： Sochor Hannes (Software Competence Center Hagenberg, Hagenberg, Austria) ,  Ferrarotti Flavio (Software Competence Center Hagenberg, Hagenberg, Austria) ,  Ramler Rudolf (Software Competence Center Hagenberg, Hagenberg, Austria)
資料名： Communications in Computer and Information Science  (Communications in Computer and Information Science)
巻： 1285  ページ： 48-62  発行年： 2020年 
JST資料番号： W5071A  ISSN： 1865-0929  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： メッセージ待ち行列テレメトリー輸送(MQTT)プロトコルは,マシンツーマシン(M2M)通信とモノのインターネット(IoT)のために使用する好ましい出版/加入プロトコルである。MQTTプロトコル自体は,非常に簡単であるが,プロトコルが実行されるプラットフォームとプログラミング言語の多様性と結合した,ブローカーとクライアントとその固有の非決定の並列反復は,セキュリティ試験の必要なタスクを困難にする。MQTTプロトコルに依存するシステムのためのセキュリティテスト生成のためのアーキテクチャを提案することによって,この問題を正確に取り扱った。このアーキテクチャは自動テストケース生成を可能にし,異なる実装間の脆弱性と不一致を明らかにした。望ましい結果として,実装されたとき,著者らのアーキテクチャ設計を用いて,MQTTブローカーとクライアント実装における潜在的セキュリティリスクを伴う誤り行動を明らかにすることができた。本論文では,ランダムテストケースジェネレータ,コア設計決定,およびテストにおけるセキュリティ攻撃の使用を用いて,著者らのアーキテクチャのキーコンポーネント,プロトタイプ実装について述べた。さらに,建築設計の最初の評価と有望な初期結果によるプロトタイプ実装を示した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 自動化 ,  プログラミング言語 ,  遠隔測定 ,  ジェネレータ ,  建築設計 ,  通信 ,  *計算機アーキテクチャ ,  セキュリティ ,  プロトタイプ
準シソーラス用語： テスト生成 ,  脆弱性 ,  アーキテクチャ設計 ,  M2M ,  *テストケース生成 ,  モノのインターネット , 【Automatic Indexing@JST】

著者キーワード (4件)： セキュリティ試験 ,  自動化試験 ,  IoT ,  MQTT

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (3件)： セキュリティ ,  テストケース生成 ,  アーキテクチャ