| 講演名 | 2006-11-10 鍵交換プロトコルのFunctionality合成について(「さまざまな分野の形式的検証最前線」及びAI一般) 今本 健二, 櫟 粛之, 櫻井 幸一, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | Canettiにより提案されたセキュリティモデルの概念であるUniversal composabilityフレームワークでは、セキュリティプロトコルが実現すべき性質を定式的に表すため、Functionalityが用いられている。本論文では、Functionalityの合成を行うことにより、別のプロトコルの要件を表したFunctionalityを構成する手法について検討する。本論文では一例として、合意性と秘匿性を表すFunctionalityの設計を行い、これらを合成することで鍵交換の性質を表すFunctionalityが構成できることを示す。 |
| 抄録(英) | Universal composability framework, which is a security model proposed by Canetti, introduces functionality for representing some desired property in formal way. This paper considers how to construct new functionality that represents unknown properties by combining some known functionalities. As such an example, we design two functionalities that represent agreement and secrecy respectively and show how to combine them into a functionality for key exchange. |
| キーワード(和) | 汎用的結合可能性 / Functionality |
| キーワード(英) | Universal composability / functionality |
| 資料番号 | AI2006-17 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2006/11/3(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 鍵交換プロトコルのFunctionality合成について(「さまざまな分野の形式的検証最前線」及びAI一般) |
| サブタイトル（和） | |
| タイトル（英） | On the combination of functionalities for key exchange protocol |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 汎用的結合可能性 / Universal composability |
| キーワード(2)（和/英） | Functionality / functionality |
| 第 1 著者 氏名（和/英） | 今本 健二 / Kenji IMAMOTO |
| 第 1 著者 所属（和/英） | 九州大学システム情報科学研究院 Faculty of Information Science and Electrical Engineering, Kyushu University |
| 第 2 著者 氏名（和/英） | 櫟 粛之 / Tadashi ARARAGI |
| 第 2 著者 所属（和/英） | NTTコミュニケーション科学基礎研究所 NTT Communication Science Laboratories |
| 第 3 著者 氏名（和/英） | 櫻井 幸一 / Kouichi SAKURAI |
| 第 3 著者 所属（和/英） | 九州大学システム情報科学研究院 Faculty of Information Science and Electrical Engineering, Kyushu University |
| 発表年月日 | 2006-11-10 |
| 資料番号 | AI2006-17 |
| 巻番号（vol） | vol.106 |
| 号番号（no） | 340 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |