講演抄録/キーワード |
講演名 |
2009-03-10 14:50
UC frameworkにおけるfunctionalityの合成について ○櫟 粛之(NTT)・蘇 春華・櫻井幸一(九大) IT2008-89 ISEC2008-147 WBS2008-102 |
抄録 |
(和) |
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 framework / Functionality / 合成 / シミュレータ / / / / |
(英) |
UC framework / Functionality / Composition / Simulator / / / / |
文献情報 |
信学技報, vol. 108, no. 473, ISEC2008-147, pp. 295-299, 2009年3月. |
資料番号 |
ISEC2008-147 |
発行日 |
2009-03-02 (IT, ISEC, WBS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
IT2008-89 ISEC2008-147 WBS2008-102 |
研究会情報 |
研究会 |
WBS IT ISEC |
開催期間 |
2009-03-09 - 2009-03-10 |
開催地(和) |
公立はこだて未来大学(函館) |
開催地(英) |
Hakodate Mirai Univ. |
テーマ(和) |
一般:情報通信基礎サブソサイェティ合同研究会 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
ISEC |
会議コード |
2009-03-WBS-IT-ISEC |
本文の言語 |
日本語 |
タイトル(和) |
UC frameworkにおけるfunctionalityの合成について |
サブタイトル(和) |
|
タイトル(英) |
Composition of functionalities in UC framework |
サブタイトル(英) |
|
キーワード(1)(和/英) |
UC framework / UC framework |
キーワード(2)(和/英) |
Functionality / Functionality |
キーワード(3)(和/英) |
合成 / Composition |
キーワード(4)(和/英) |
シミュレータ / Simulator |
キーワード(5)(和/英) |
/ |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
櫟 粛之 / Tadashi Araragi / アララギ タダシ |
第1著者 所属(和/英) |
日本電信電話株式会社 (略称: NTT)
Nippon Telegraph and Telephone Public Corporation (略称: NTT) |
第2著者 氏名(和/英/ヨミ) |
蘇 春華 / Chunhua Su / ソ シュンカ |
第2著者 所属(和/英) |
九州大学 (略称: 九大)
Kyushu University (略称: Kyushu Univ.) |
第3著者 氏名(和/英/ヨミ) |
櫻井 幸一 / Kouichi Sakurai / サクライ コウイチ |
第3著者 所属(和/英) |
九州大学 (略称: 九大)
Kyushu University (略称: Kyushu Univ.) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2009-03-10 14:50:00 |
発表時間 |
25分 |
申込先研究会 |
ISEC |
資料番号 |
IT2008-89, ISEC2008-147, WBS2008-102 |
巻番号(vol) |
vol.108 |
号番号(no) |
no.472(IT), no.473(ISEC), no.474(WBS) |
ページ範囲 |
pp.295-299 |
ページ数 |
5 |
発行日 |
2009-03-02 (IT, ISEC, WBS) |