iDEA:リンゴカーネルドライバのセキュリティに関する静的解析【JST・京大機械翻訳】

Bai Xiaolong; Xing Luyi; Zheng Min; Qu Fuping

文献

J-GLOBAL ID：202002286101494642 整理番号：20A2515307

iDEA:リンゴカーネルドライバのセキュリティに関する静的解析【JST・京大機械翻訳】

iDEA: Static Analysis on the Security of Apple Kernel Drivers

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A2515307&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (4件)： , , ,
資料名：
号： CCS ’20 ページ： 1185-1202 発行年： 2020年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

Apple OS(例えば,iOS,tvOS,iPadOS,macOSなど)の運転者は,カーネル空間と運転者脆弱性で実行され,重大なセキュリティ結果をもたらす。Googleプロジェクトゼロからの最近の報告は,Apple OSの運転者脆弱性が野生で活発に活用されていることを示している。また,運転者の脆弱性は,Appleのセキュリティ更新に基づく最近のiOSバージョンにおけるカーネルバグの1/3を占めることを観察した。重大なセキュリティの意味にもかかわらず,セキュリティ脆弱性を見つけるためのAppleドライバに関する系統的静的解析は,Appleドライバの大規模研究を言及するのではなく,これまで行われていなかった。本論文では,主要なApple OSs(iOS,macOS,tvOS,iPadOS)に適用できる,Appleドライバビナリーにおけるバグを見つけるための最初の自動静的解析ツールiDEAを開発した。Apple-uniqueの課題のセットをまとめて取り組んだ:例えば,事前のC++バイナリ分析技法は,Appleのユニークなプログラミングモデルのために,Appleプラットフォーム上で無効(即ち,C++クラスを復元し,間接的呼び出しを解決できない)であることを示した。課題を解決するため,Appleの運転者のプログラミングと管理モデルからクラスを復元するための信頼できる情報源を見出し,Appleドライバがユーザ空間プログラムと相互作用し,そのセキュリティ解析に対するカスタマイズされた,プラグ可能なセキュリティポリシーチェッカーをサポートしたユニークなパラダイムを同定した。iDEAによって可能に,著者らは,主要なApple OSsと15のOSバージョンを通して,2つの一般的タイプのセキュリティリスク-レース条件およびアウトオブバウンド読取/書籍に関して,3,400のAppleドライバー連星の第1の大規模な研究を実行して,35のゼロ日バグを発見した。PoCとエンドツーエンド攻撃を開発し,著者らの知見の実際的影響を実証した。バグの一部を最近のAppleセキュリティ更新によってパッチし,固定する予定である。他はAppleの内部調査手順を通している。著者らの評価は,iDEAが,低い偽陽性率と時間オーバーヘッドを引き起こすことを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

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

著者キーワード (8件)： , , , , , , ,

汎用プログラミング言語 , データ保護

前のページに戻る