| 講演名 | 2018-06-26 ［招待講演］安全性解析技術に関する近年の動向 矢内 直人(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 各研究における提案技術の安全性について, 数理的技法を通じて解析する手法が近年高い注目を受けている. 本稿ではこの数理的技法を通じた安全性解析について, 暗号の証明可能安全性やソフトウェア工学の形式検証など近年の動向について解説する. |
| 抄録(英) | For security analysis of information security researches, a method with a formal proof has attracted attention in recent years. In this paper, we discuss the security analysis via formal proofs through provable security of cryptography and formal method of software engineering. |
| キーワード(和) | 安全性解析 / 数理的技法 / 証明可能安全性 / 形式検証 |
| キーワード(英) | Security Analysis / Formal Proofs / Provable Security / Formal Methods |
| 資料番号 | IA2018-12,ICSS2018-12 |
| 発行日 | 2018-06-18 (IA, ICSS) |
| 研究会情報 | |
| 研究会 | ICSS / IA |
|---|---|
| 開催期間 | 2018/6/25(から2日開催) |
| 開催地（和） | 愛媛大学 南加記念ホール |
| 開催地（英） | Ehime University |
| テーマ（和） | インターネットセキュリティ、一般 |
| テーマ（英） | Internet Security, etc. |
| 委員長氏名（和） | 白石 善明(神戸大) / 飯田 勝吉(北大) |
| 委員長氏名（英） | Yoshiaki Shiraishi(Kobe Univ.) / Katsuyoshi Iida(Hokkaido Univ.) |
| 副委員長氏名（和） | 高倉 弘喜(NII) / 吉岡 克成(横浜国大) / 新 麗(IIJ) / 大崎 博之(関西学院大) / 近堂 徹(広島大) |
| 副委員長氏名（英） | Hiroki Takakura(NII) / Katsunari Yoshioka(Yokohama National Univ.) / Rei Atarashi(IIJ) / Hiroyuki Osaki(Kwansei Gakuin Univ.) / Toru Kondo(Hiroshima Univ.) |
| 幹事氏名（和） | 神谷 和憲(NTT) / 笠間 貴弘(NICT) / 作元 雄輔(首都大東京) / 屏 雄一郎(トヨタIT) / 渡辺 俊貴(NEC) |
| 幹事氏名（英） | Kazunori Kamiya(NTT) / Takahiro Kasama(NICT) / Yusuke Sakumoto(Tokyo Metropolitan Univ.) / Yuichiro Hei(TOYOTA-IT) / Toshiki Watanabe(NEC) |
| 幹事補佐氏名（和） | 山田 明(KDDI labs.) / 木藤 圭亮(三菱電機) / 大平 健司(徳島大) / 坂野 遼平(東工大) |
| 幹事補佐氏名（英） | Akira Yamada(KDDI labs.) / Keisuke Kito(Mitsubishi Electric) / Kenji Ohira(Tokushima Univ.) / Ryohei Banno(Tokyo Inst. of Tech.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information and Communication System Security / Technical Committee on Internet Architecture |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ［招待講演］安全性解析技術に関する近年の動向 |
| サブタイトル（和） | |
| タイトル（英） | [Invited Talk] Security Analysis with Formal Methods |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 安全性解析 / Security Analysis |
| キーワード(2)（和/英） | 数理的技法 / Formal Proofs |
| キーワード(3)（和/英） | 証明可能安全性 / Provable Security |
| キーワード(4)（和/英） | 形式検証 / Formal Methods |
| 第 1 著者 氏名（和/英） | 矢内 直人 / Naoto Yanai |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2018-06-26 |
| 資料番号 | IA2018-12,ICSS2018-12 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | IA-108,ICSS-109 |
| ページ範囲 | pp.73-75(IA), pp.73-75(ICSS), |
| ページ数 | 3 |
| 発行日 | 2018-06-18 (IA, ICSS) |