文献

J-GLOBAL ID：202002284228823530   整理番号：20A0632069

iotソフトウェア更新の自動セキュリティ解析【JST・京大機械翻訳】

Automated Security Analysis of IoT Software Updates

著者 (6件)： Dejon Nicolas (DIBRIS - University of Genova, Genova, Italy) ,  Dejon Nicolas (University of Technology of Compiegne, Compiegne, France) ,  Caputo Davide (DIBRIS - University of Genova, Genova, Italy) ,  Verderame Luca (DIBRIS - University of Genova, Genova, Italy) ,  Armando Alessandro (DIBRIS - University of Genova, Genova, Italy) ,  Merlo Alessio (DIBRIS - University of Genova, Genova, Italy)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12024  ページ： 223-239  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： IoT装置は,数年にわたり環境変化環境において教師なしに操作されることが多い。したがって,それらは正規の基礎で更新される必要がある。最近のSUIT提案のような,IoT上のソフトウェア更新のための現在のアプローチは,完全性と機密性に焦点を合わせているが,ソフトウェア更新の内容,特にIoTデバイスに展開されるIoTアプリケーションを分析しない。この目的のために,本論文では,ソフトウェア更新に含まれるアプリケーションのセキュリティを系統的に検証するための自動化ソフトウェア解析フレームワーク,IoTAVを提示した。著者らの提案は,現在のIoTソフトウェア更新ワークフローによって透明に採用することができる。著者らは,実際のRIOT OSアプリケーションのセットに関する著者らの方法論をテストすることによって,IoTAVの実行可能性を証明した。実験結果は,このアプローチが信頼性と性能の両方に関して実行可能であり,31の現実世界のRIOT応用における26のセキュリティ政策違反の同定をもたらすことを示した。Copyright IFIP International Federation for Information Processing 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 応用プログラム ,  セキュリティ ,  モデル検査 ,  安全解析 ,  自動化 ,  ワークフロー ,  信頼性 ,  *ソフトウェア ,  完全性
準シソーラス用語： セキュリティポリシー ,  機密性 ,  環境変化 ,  モノのインターネット ,  *ソフトウェア更新 , 【Automatic Indexing@JST】

著者キーワード (5件)： iotの応用 ,  ソフトウェア更新 ,  スーツ ,  モデル検査 ,  セキュリティポリシー

分類 (2件)： 計算機システム開発  (JD02010R) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： IoT ,  ソフトウェア更新 ,  セキュリティ解析