OP-TEEにおけるTA内のバッファオーバフローを利用した攻撃に対する防御手法の設計

• Item type: Symposium(1)
• 公開日: 2022-10-17
• タイトル: OP-TEEにおけるTA内のバッファオーバフローを利用した攻撃に対する防御手法の設計
• タイトル / 言語: en
• タイトル: Design of Prevention Method against Attacks Using Buffer Overflows in TAs in OP-TEE
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: TrustZone, TEE, OP-TEE, オペレーティングシステム, 脆弱性
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 岡山大学大学院自然科学研究科
• 著者所属: 神戸大学大学院工学研究科
• 著者所属: 岡山大学学術研究院自然科学学域
• 著者所属(英): en
• 著者所属(英): Graduate School of Natural Science and Technology, Okayama University
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Kobe University
• 著者所属(英): en
• 著者所属(英): Faculty of Natural Science and Technology, Okayama University
• 著者名: 芝, 海人; 葛野, 弘樹; 山内, 利宏
• 著者名(英): Kaito, Shiba; Hiroki, Kuzuno; Toshihiro, Yamauchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: TEE システムは，Linux や Android などの Rich OS が動作する Normal World とこれらの OS から直接アクセスすることのできない Secure World を提供する．Secure World 内に機密情報の保存やセキュリティ処理を実装することにより，機密情報の漏洩やセキュリティ処理の改ざんを防止できる．しかし，Secure World 内に脆弱性がある場合，TEE システムは Normal World からの攻撃により侵害されてしまう．特に，Trusted Application（以降，TA）は Secure World 内で脆弱性が多く報告されている．そこで，本研究では，広く使われている TEE システムの一つである OP-TEE に着目し，TA におけるスタックバッファオーバフローの脆弱性に起因する問題点について説明する．この問題点に対処するために，TA におけるスタックバッファオーバフローの防御機構について提案する．提案手法では，TA の関数内で使用されるローカル変数のサイズと TA の関数へ渡される値を比較することでスタックバッファオーバフローの検知を行う．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: TEE systems provide Normal World (NW) running Rich OS such as Linux and Android, and Secure World (SW) that cannot be directly accessed by the OS. By storing confidential information and implementing security processes in SW, leakages of confidential information and tampering with security processes can be prevented. However, if there is a vulnerability in SW, TEE systems can be compromised by attacks from NW. In particular, Trusted Application (TA) vulnerabilities in SW have been reported. In this study, we focus on OP-TEE, one of the widely-used TEE systems, and explain the problems caused by the stack buffer overflow vulnerability in TA. To address this problem, we propose a prevention method for stack buffer overflows in TA. The proposed method detects stack buffer overflows by comparing the size of a local variable used in a TA function with the value passed to the TA function.
• 書誌情報: コンピュータセキュリティシンポジウム2022論文集; p. 872-878, 発行日 2022-10-17
• 出版者 / 言語: ja
• 出版者: 情報処理学会