研究部会组织図.ppt

ISSスクエアシンポジウム 研究部会研究分科会 後藤 滋樹 ISS: 研究リーダ 早稲田大学　理工学術院 * ISSスクエアシンポジウム * 事務連絡会 教育部会 研究部会 幹事会 * 教育に関わる活動の詳細方針決定および実行機関 (教育プログラムの具体的計画および実行、教育コンテンツ作成、詳細教育予算の決定） * 研究に関わる活動の詳細 方針決定および実行機関 （研究に関わる活動の具体的計画と実行、研究予算(RA、旅費)および水平WS実行に関わる詳細の決定） * 事務連絡機関　 （経理?総務、広報?渉外、成果） * 最高決定機関　 (活動方針、予算方針、教育?研究活動計画他の重要事項の決定) 運営委員会 研究分科会 水平ワークショップ 分野別の研究会計画と開催実行 （6分野) * コア運営機関 (運営委員会への議案作成、通常案件の決定および実行推進) 研究部会で企画立案された水平テーマのプログラム作成と実行を行う。 【ISSスクエア組織図】 ISSスクエアシンポジウム * [研究部会組織図] 研究部会 水平ワークショップ 研究分科会 （Member) 研究部会長 研究リーダー 連携企業代表 情セ大連携教授 事務担当 (Member) 　ISS2連携企業代表、情セ大連携教授 他 (Member) 研究リーダー 6名 今井（暗号?認証)、後藤(ネットワーク）坂井(システム）、柴山(ソフトウェア）、佐々木(マネジメント)、林(法制?倫理） ISSスクエアシンポジウム * 研究分科会 分科会名 研究リーダー 暗号?認証 今井 秀樹 中央大学 教授 ネットワーク 後藤 滋樹 早稲田大学 教授 システム 坂井 修一 東京大学 教授 ソフトウェア 柴山 悦哉 東京工業大学 教授 マネジメント 佐々木 良一 東京電機大学 教授 法制?倫理 林 紘一郎 情報セキュリティ大学院大学 教授 ISSスクエアシンポジウム 暗号?認証分科会（1/2） 安全?安心な情報化社会を実現するためには，情報システムに関わる人々が暗号?認証の安全性を適切に理解することが非常に重要． 本分科会は，最先端にわたる暗号?認証技術を整理?体系化する．それに基づいて，一般の人々が暗号?認証の安全性の本質を理解できるような説明手法を構築． さらにCRYPTREC（総務省?経済産業省暗号技術検討会）のガイドライン等に反映させる． 暗号?認証技術の適切な利用の推進に繋げる． 例題： 公開鍵暗号の選択基準を一般の暗号ユーザが理解して，利用できるようにする 攻撃者に許す攻撃環境 CPA, CCA, Bounded CCA, …, 達成される安全性の概念のレベル 一方向性, 強秘匿性, 頑強（非展）性 必要となる数学的仮定の強さ CDH, HDH, GDH, DDH, DBDH,… 離散対数問題に基づくものだけでも上記のように多数存在 ランダムオラクルモデル or 標準モデル？ 帰着コスト 費用対（安全性）効果 これらの項目のすべてにおいて 最良となる方式は知られていない どの項目を優先するかによって 選択すべき方式が異なる ネットワーク（1/2） インターネットの原型ARPAnetセキュリティへの配慮なし 現在および将来のネットワークではセキュリティが重要　　　インターネットの歴史と変遷 測定技術、不正侵入検知重要なネットワーク技術とセキュリティの関連無線通信、P2P さらに現在のインターネットを前提としない新世代ネットワーク(未来ネットワーク）の話題 ISSスクエアシンポジウム * ネットワーク（2/2） TCPプロトコルマシンの数学的な整備 Only one packet Empty （ε-move） ２台のマシンの間の通信 直積 システム分科会 (1/2) セキュアシステム、ディペンダブルシステムの個別的?横断的研究 情報システム 攻撃 内部故障 外部故障 障害 脆弱性 信頼性 の阻害 安全性の阻害 誤り セキュア＆ディペンダブルシステムのモデル セキュアシステム プログラム プログラム以外 物理的な外乱 タンパ耐性 プログラム監視 エラー耐性 セキュア＆ディペンダブルシステムの動作 　研究分野 キーワード 検証 ハードウェア形式検証 侵入検知 IDSハードウェア TCPフィルタ?ソフトウェア 回路 暗号回路 耐故障回路 アタック防止回路 プロセッサ セキュアプロセッサ ディペンダブルプロセッサ ソフト ウェア ディペンダブルOS ミドルウェア アプリケーション運用 システム分科会 (2/2) セキュア＆ディペンダブルプロセッサ 侵入検知ハードウェア 等価性管理 記号シミュレータ ボトムアップ検証 差異抽出 各処理によっ