講演名 | 2020-01-14 モデル計数に基づく動的QIF解析法の提案と評価 福田 大地(名大), 関 浩之(名大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | プログラムのセキュリティ強度を表すために、情報の漏洩量の尺度として、量的情報流(QIF) が注目されている。QIF とは、プログラムの出力を観測することによって得られる機密入力に関する情報である。本研究では、プログラムが機密入力と観測出力、さらにプログラムの入出力関係を変動させる制御入力を持っており、攻撃者は自分に有利な制御入力を選択することでより多くの情報を得ようとするモデル(AOCIP) を考える。そして、AOCIP に対して、モデル計数を利用して動的にQIF を計算し、最適な制御入力を計算する手法を提案する。また、提案手法をツールとして実装し、ベンチマークプログラムに対し評価実験を行った。これにより、機密入力の候補数に対してほぼ線形の時間でAOCIP の解を得られることが確かめられた。 |
抄録(英) | We propose a method of analyzing dynamic information leakage of a given program that has a secret input, a public output and a control input. This method is based on model counting. Since a control input can change the behavior of the program, we propose a method of computing the control input that maximizes the expected value of dynamic leakage (called the optimal control input). We also developed a tool that computes the optimal control input based on the proposed method and confirmed that the computation time is almost proportional to the number of possible secret inputs. |
キーワード(和) | 量的情報流 / 動的情報漏洩量 / モデル計数 |
キーワード(英) | quantitative information flow / dynamic information leakage / model counting |
資料番号 | MSS2019-49,SS2019-33 |
発行日 | 2020-01-07 (MSS, SS) |
研究会情報 | |
研究会 | SS / MSS |
---|---|
開催期間 | 2020/1/14(から2日開催) |
開催地(和) | 広島市立大学 サテライトキャンパス |
開催地(英) | |
テーマ(和) | 一般 |
テーマ(英) | |
委員長氏名(和) | 中田 明夫(広島市大) / 髙井 重昌(阪大) |
委員長氏名(英) | Akio Nakata(Hiroshima City Univ.) / Shigemasa Takai(Osaka Univ.) |
副委員長氏名(和) | 小林 隆志(東工大) / 尾崎 敦夫(阪工大) |
副委員長氏名(英) | Takashi Kobayashi(Tokyo Inst. of Tech.) / Atsuo Ozaki(Osaka Inst. of Tech.) |
幹事氏名(和) | 肥後 芳樹(阪大) / 島 和之(広島市大) / 金澤 尚史(阪大) / 小林 孝一(北大) |
幹事氏名(英) | Yoshiki Higo(Osaka Univ.) / Kazuyuki Shima(Hiroshima City Univ.) / Takahumi Kanazawa(Osaka Univ.) / Koichi Kobayashi(Hokkaido Univ.) |
幹事補佐氏名(和) | 林 晋平(東工大) / 林 直樹(阪大) |
幹事補佐氏名(英) | Shinpei Hayashi(Tokyo Inst. of Tech.) / Naoki Hayashi(Osaka Univ.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
---|---|
本文の言語 | JPN |
タイトル(和) | モデル計数に基づく動的QIF解析法の提案と評価 |
サブタイトル(和) | |
タイトル(英) | Dynamic Leakage Analysis Based on Model Counting and Its Evaluation |
サブタイトル(和) | |
キーワード(1)(和/英) | 量的情報流 / quantitative information flow |
キーワード(2)(和/英) | 動的情報漏洩量 / dynamic information leakage |
キーワード(3)(和/英) | モデル計数 / model counting |
第 1 著者 氏名(和/英) | 福田 大地 / Daichi Fukuda |
第 1 著者 所属(和/英) | 名古屋大学(略称:名大) Nagoya University(略称:Nagoya Univ.) |
第 2 著者 氏名(和/英) | 関 浩之 / Hiroyuki Seki |
第 2 著者 所属(和/英) | 名古屋大学(略称:名大) Nagoya University(略称:Nagoya Univ.) |
発表年月日 | 2020-01-14 |
資料番号 | MSS2019-49,SS2019-33 |
巻番号(vol) | vol.119 |
号番号(no) | MSS-361,SS-362 |
ページ範囲 | pp.49-54(MSS), pp.49-54(SS), |
ページ数 | 6 |
発行日 | 2020-01-07 (MSS, SS) |