| 講演名 | 2009-03-10 UC frameworkにおけるfunctionalityの合成について(情報通信基礎サブソサイエティ合同研究会) 櫟 粛之, 蘇 春華, 櫻井 幸一, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | Universally Composableな安全性のフレームワークでは,安全性要求はfunctionalityと呼ばれる理想的に安全なオートマトンで表現される.しかし一般に,要求される安全性仕様を過不足無く1つのfunctionalityで表現することは難しく,その正しい記述には専門家の深い経験が必要になる.本論文では,functionality記述の方法論の1つのアプローチとして,functionalityの合成方法を論じる.即ち,与えられた2つのfunctionalityから,その両方の条件を満たす1つのfunctionalityを合成する方法を考察する.この合成は,functionalityの分析に役立つのみならず,UCの安全性の証明においても,逆にfunctionalityを分解することで,より単純なfunctionalityに対する証明に還元できる.これにより,UC安全性の証明で必要なsimulatorの設計,識別不能性の証明が容易なると考えられる. |
| 抄録(英) | This paper initiates a comprehensive approach for design method for functionality in UC framework. By combining some functionalities, we construct a new functionality that satisfies the properties the original ones have. We believe this approach is useful not only for designing a correct functionality but also for verifying the security property automatically, because when a functionality is given and we can represent it as a combination of small functionalities, we can divide a verification of the original functionality into a few small verifications of the component functionalities. |
| キーワード(和) | UC funamework / Functionality / 合成 / シミュレータ |
| キーワード(英) | UC framework / Functionality / Composition / Simulator |
| 資料番号 | IT2008-89,ISEC2008-147,WBS2008-102 |
| 発行日 |
| 研究会情報 | |
| 研究会 | WBS |
|---|---|
| 開催期間 | 2009/3/2(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Wideband System(WBS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | UC frameworkにおけるfunctionalityの合成について(情報通信基礎サブソサイエティ合同研究会) |
| サブタイトル（和） | |
| タイトル（英） | Composition of functionalities in UC framework |
| サブタイトル（和） | |
| キーワード(1)（和/英） | UC funamework / UC framework |
| キーワード(2)（和/英） | Functionality / Functionality |
| キーワード(3)（和/英） | 合成 / Composition |
| キーワード(4)（和/英） | シミュレータ / Simulator |
| 第 1 著者 氏名（和/英） | 櫟 粛之 / Tadashi ARARAGI |
| 第 1 著者 所属（和/英） | 日本電信電話株式会社NTTコミュニケーション科学基礎研究所 NTT Communication Science Laboratories |
| 第 2 著者 氏名（和/英） | 蘇 春華 / Chunhua SU |
| 第 2 著者 所属（和/英） | 九州大学大学院システム情報科学研究院 Faculty of Information Science and Electrical Engineering, Kyushu University |
| 第 3 著者 氏名（和/英） | 櫻井 幸一 / Kouichi SAKURAI |
| 第 3 著者 所属（和/英） | 九州大学大学院システム情報科学研究院 Faculty of Information Science and Electrical Engineering, Kyushu University |
| 発表年月日 | 2009-03-10 |
| 資料番号 | IT2008-89,ISEC2008-147,WBS2008-102 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | 474 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |