| 講演名 | 2009-07-03 自己インテグリティ検証と自己書換えに基づく耐タンパーソフトウェアの構成方法(セキュリティ関係,一般) 大石 和臣, 松本 勉, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 機能改変困難性を持つ耐タンパーソフトウェアを構成する方法を提案する.提案方法は,対象ソフトウェアに対して,自己インテグリティ検証と自己書換えを組み合わせた要素技術を繰り返し適用して耐タンパー化を施す.提案要素技術を適用されたソフトウェアは,データやアルゴリズムの改変が行われると,エラーを含む予測困難な動作を実行時に高い確率で発生するため,攻撃者の改変と解析を困難にする効果を持つ.適用回数を増やすことで静的な攻撃の成功確率を下げ動的な攻撃のコストを増大させることができる. |
| 抄録(英) | A method of constructing tamper resistant software resistant to malicious modification is proposed. It uses a primitive based on self integrity verification and self-modifying. In the method, the primitive repeatedly processes target program to enhance tamper resistance of the program. If the created tamper resistant software is modified, then it makes, with high probablity, unexpected malfunction such as error at runtime. So, it is difficult for attacker to modify or analyse it. As the number of processing increases, the success probability of static analysis decreases and the cost of dynamic analysis increases. |
| キーワード(和) | 耐タンパーソフトウェア / 機能改変 / 自己インテグリティ検証 / 自己書換え / 相互依存検証 |
| キーワード(英) | tamper resistant software / modification / self integrity verification / self-modifying / interlock verification |
| 資料番号 | ISEC2009-39,SITE2009-31,ICSS2009-53 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SITE |
|---|---|
| 開催期間 | 2009/6/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Social Implications of Technology and Information Ethics (SITE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 自己インテグリティ検証と自己書換えに基づく耐タンパーソフトウェアの構成方法(セキュリティ関係,一般) |
| サブタイトル（和） | |
| タイトル（英） | A Tamper Resistant Software Construction Method Based on Self Integrity Verification and Self-Modifying |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 耐タンパーソフトウェア / tamper resistant software |
| キーワード(2)（和/英） | 機能改変 / modification |
| キーワード(3)（和/英） | 自己インテグリティ検証 / self integrity verification |
| キーワード(4)（和/英） | 自己書換え / self-modifying |
| キーワード(5)（和/英） | 相互依存検証 / interlock verification |
| 第 1 著者 氏名（和/英） | 大石 和臣 / Kazuomi OISHI |
| 第 1 著者 所属（和/英） | 横浜国立大学大学院環境情報学府:横浜国立大学大学院環境情報研究院 Graduate School of Environment and Information Sciences, Yokohama National University |
| 第 2 著者 氏名（和/英） | 松本 勉 / Tsutomu MATSUMOTO |
| 第 2 著者 所属（和/英） | 横浜国立大学大学院環境情報学府:横浜国立大学大学院環境情報研究院 Graduate School of Environment and Information Sciences, Yokohama National University |
| 発表年月日 | 2009-07-03 |
| 資料番号 | ISEC2009-39,SITE2009-31,ICSS2009-53 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | 114 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |