日本応用数理学会2017年度年会
「数理的技法による情報セキュリティ」(FAIS)
オーガナイズド・セッション
日本応用数理学会2017年度年会が 2017.9.6(水)〜2017.9.8(金) に
東京湾岸エリアに位置する武蔵野大学有明キャンパスにて開催されます:
[年会 ホームページ]
http://annual2017.jsiam.org/
「数理的技法による情報セキュリティ」(FAIS)研究部会も, 下記の日程で
オーガナイズド・セッション(OS)を開催いたします.
奮ってご参加下さいますようお願い申し上げます.
【日時】
9月6日(水) 15:00-16:20 および 16:30-17:50 (各80分)
★今回は特別講演を岩田覚先生(東京大学)および
川本裕輔様(産業技術総合研究所)にお願いしております！★
【会場】
武蔵野大学 有明キャンパス
〒135-8181 東京都江東区有明3-3-3
https://www.musashino-u.ac.jp/ariake/
【参加方法】
年会ホームページをご覧ください.
【プログラム】(○: 登壇者)
研究部会 OS: 数理的技法による情報セキュリティ(1) ［9月6日：15:00-16:20：C］
座長: 米山 一樹 (茨城大学)
15:00-15:40
★特別講演★ 重み付き線形マトロイド・パリティ (40分)
○岩田 覚 (東京大学), 小林 佑輔 (筑波大学)
15:40-16:00
秘密分散とマトロイド (20分)
○吉田 真紀 (情報通信研究機構)
16:00-16:20
情報ハイディングのための確率モデルの変更による攻撃回避 (20分)
○森田 光 (神奈川大学)
研究部会 OS: 数理的技法による情報セキュリティ(2) ［9月6日：16:30-17:50：C］
座長: 山本 光晴 (千葉大学)
16:30-17:10
★特別講演★ ◎プライバシの定量的モデルと保護メカニズム (40分)
○川本 裕輔 (産業技術総合研究所)
17:10-17:30
複数段階の攻撃があるセキュリティゲーム (20分)
○竹内 泉 (産業技術総合研究所)
17:30-17:50
ProVerifにおける暗号プリミティブの安全性要件と攻撃モデルの形式化方法について (20分)
○荒井 研一 (長崎大学), 岡崎 裕之 (信州大学), 布田 裕一 (東京工科大学)
【講演概要】
★特別講演★ 重み付き線形マトロイド・パリティ
○岩田 覚 (東京大学), 小林 佑輔 (筑波大学)
[概要]
効率的な厳密解法が設計できる組合せ最適化問題として，マッチングとマト
ロイド交叉が知られている．両者の共通の一般化として導入されたマトロイ
ド・パリティ問題は，一般のマトロイド上で指数時間を必要とする．これに
対し，Lov\'asz (1980) は，行列表現を与えられた線形マトロイド上での最
大最小定理を証明し，多項式時間解法を設計した．本研究では，重み付き線
形マトロイド・パリティ問題に対する多項式時間解法を与える．
--------------------------------------------------------------------------
秘密分散とマトロイド
○吉田 真紀 (情報通信研究機構)
[概要]
秘密分散とは，秘密を複数のシェアに分散し，指定されたシェア集合から復
元するための技術である．秘密分散は，安全な鍵管理やプライバシを保護し
た情報処理など，情報セキュリティにおける核技術であり，効率や性質の解
析が極めて重要な課題となっている．そのような秘密分散の特徴付けにマト
ロイドが利用されており，これまでに理想的な秘密分散とマトロイドの関係
が示され，シェアサイズの下限が劣モジュラ関数の性質から導出されている．
本講演では，従来成果を紹介し，秘密分散の今後の特徴付けにおけるマトロ
イドの利用について検討する．
--------------------------------------------------------------------------
情報ハイディングのための確率モデルの変更による攻撃回避
○森田 光 (神奈川大学)
[概要]
情報ハイディングでは、目立つ変化を与えずに、無駄ワードの挿入、ワード
分布の偏り、特定ワードの削除などで、第三者に隠した情報の手がかりを与
えないための工夫が必要である．ここでは既知の手法であるグラフモデルを
変更を加えることで攻撃を回避することを提案する．
--------------------------------------------------------------------------
★特別講演★ ◎プライバシの定量的モデルと保護メカニズム
○川本 裕輔 (産業技術総合研究所)
[概要]
IoT機器の普及に伴ってセンサやモニタから大量のデータが収集されるよう
になり、行動履歴、趣味嗜好、健康状態などのプライバシに関わる情報が意
図せず漏洩してしまう危険性が高まっている。このような背景のもと、プラ
イバシを数理的にモデル化し解析する研究が盛んに行われている。本講演で
は、プライバシの定量的なモデル化と、プライバシ情報の漏洩量を低減する
ための保護メカニズムについて解説する。特に、講演者の最近の研究を交え
ながら、定量的情報流解析や差分プライバシの研究と動向を紹介する。
--------------------------------------------------------------------------
複数段階の攻撃があるセキュリティゲーム
○竹内 泉 (産業技術総合研究所)
[概要]
従来のセキュリティゲームの研究では、一段階のみから構成される単純な攻
撃のみを対象としていた。しかし現実の攻撃は多くの場合、複数段階によっ
て構成される。本研究では、複数段階よりなる攻撃をゲーム理論によってモ
デル化する。
--------------------------------------------------------------------------
ProVerifにおける暗号プリミティブの安全性要件と攻撃モデルの形式化方法について
○荒井 研一 (長崎大学), 岡崎 裕之 (信州大学), 布田 裕一 (東京工科大学)
[概要]
ProVerifはBlanchetらが開発した形式モデル(Dolev-Yaoモデル)での暗号プ
ロトコルの安全性自動検証ツールである．本発表では，ProVerifにおける暗
号プリミティブの安全性要件と攻撃モデルを形式化する方法を紹介する．
--------------------------------------------------------------------------
【問い合わせ先】
FAIS幹事団
fais-kanji(at)ml.jsiam.org
最終更新: 2017.9.11