IoTシステムにおけるセキュリティと安全性検証のための分析法の調査【JST・京大機械翻訳】

Abuserrieh Lobna; Alalfi Manar H.

プレプリント

J-GLOBAL ID：202202204201476380 整理番号：22P0298114

IoTシステムにおけるセキュリティと安全性検証のための分析法の調査【JST・京大機械翻訳】

A Survey of Analysis Methods for Security and Safety verification in IoT Systems

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2022年03月02日プレプリントサーバーでの情報更新日： 2022年03月02日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

モノのインターネット(IoT)は,すべての生活分野で過去数年で急速に成長している。IoTは,自動化とスマート制御を,家庭自動化,ヘルスケアシステム,自動車,さらに多くのもののような異なるドメインでユーザに提供する。膨大な数の接続IoTデバイスを考えると,この成長は,それらの環境において,サイズ可能なIoTアプリケーション間の莫大な自動相互作用をもたらし,IoTは,より知的で,それらのユーザに対してより楽しかった。しかし,IoT appsと潜在的悪意のある行動の若干の非正当な相互作用は,そのユーザ,主に非専門家に対する不安全と不安全な結果を引き起こし,それらのIoT自動化プロセスの潜在的影響に関する必要な知識を欠いている。本論文では,IoTシステムのセキュリティと安全性検証の問題を研究した。IoTアプリケーションのセキュリティと安全特性を検証するために,プログラム解析を利用する技術を調査した。本研究は,この領域における研究景観の理解を強化するために,一連の分類と分類属性を提案した。さらに,著者らは,IoTシステムのセキュリティと安全性を確保するために採用可能な,調査研究と潜在的解決策で考慮された主な課題について議論する。【JST・京大機械翻訳】

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

計算機網

, , , , ,

前のページに戻る