お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 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 
ページ数
発行日 2009-03-02 (IT, ISEC, WBS) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会