日本応用数理学会2016年度年会
「数理的技法による情報セキュリティ」(FAIS)
オーガナイズド・セッション
日本応用数理学会2016年度年会が 2016.9.12(月)〜2016.9.14(水) に
北九州国際会議場にて開催されます:
[年会 ホームページ]
http://annual2016.jsiam.org/
「数理的技法による情報セキュリティ」(FAIS)研究部会も, 下記の日程で
オーガナイズド・セッション(OS)を開催いたします.
奮ってご参加下さいますようお願い申し上げます.
【日時】
9月12日(月) 11:00-12：20
【会場】
北九州国際会議場
〒802-0001 北九州市小倉北区浅野三丁目 8-1
http://www.convention-a.jp/access/
【参加方法】
年会ホームページをご覧ください.
【プログラム】(○: 登壇者)
研究部会OS: 数理的技法による情報セキュリティ［9月12日：11:00-12:20：2D］
座長: 山本 光晴（千葉大学）
11:00-11:20
複数回の攻撃があるセキュリティゲーム
○竹内 泉 (産業技術総合研究所)
[概要]
従来のセキュリティゲームの研究では、単位期間内に丁度一回の攻撃がある
という仮定があった。本研究では、単位期間内に複数回の攻撃があるゲーム
をモデル化した。そのゲームでは防御側にとって、ナッシュ均衡を構成する
戦略と的最大利得最小化戦略が一致することを証明した。
11:20-11:40
◎ProVerifでの形式化における技術的な注意点について
○荒井 研一 (長崎大学), 岡崎 裕之 (信州大学)
[概要]
ProVerifはBlanchetらが開発した形式モデル（Dolev-Yaoモデル）での暗号
プロトコルの安全性自動検証ツールであり，暗号プロトコルに要求される
秘匿や認証などの安全性要件を検証することができる．SCIS2016において，
著者らはProVerifでの形式化に対して暗号プリミティブをプロトコルの一種
とみたてることで，暗号プリミティブおよび安全性要件の表現（記述） 能力
を向上させ，さらにProVerif自身の検証器を用いて形式化の妥当性を評価・
検証する方法を提案した．本発表では，前述の形式化を進める上で発見した，
ProVerif での形式化における技術的な注意点について述べる．
11:40-12:00
A Note on Using Sigma Protocols in Cryptographic Protocols
Sakurada Hideki (NTT), Yoneyama Kazuki (Ibaraki University),
Hanatani Yoshikazu (Toshiba), ○Yoshida Maki (NICT)
[概要]
At Eurocrypt 2011, Lindell proposed efficient universally composable
(UC) commitment schemes based on a Sigma protocol. Though it was
claimed that one of these schemes is adaptively secure, an attack that
violates the blinding property was found via an algebraic property of
the Sigma protocol. In this paper, we formalize this property of the
Sigma protocol as a general form beyond the algebraic structure,
called replicability, and show that representative Sigma protocols are
replicable. This means that we need to take into account a similar
flaw in the use of Sigma protocols.
最新情報は年会のホームページでご確認ください.
【問い合わせ先】
FAIS幹事団
fais-kanji(at)ml.jsiam.org
最終更新: 2016.9.12