文献

J-GLOBAL ID：202002232120448884   整理番号：20A2343093

IITMモデル:ユニバーサルコンポーザビリティのための単純で表現可能なモデル【JST・京大機械翻訳】

The IITM Model: A Simple and Expressive Model for Universal Composability

著者 (3件)： Kuesters Ralf (University of Stuttgart, Stuttgart, Germany) ,  Tuengerthal Max (Siemens Mobility, Erlangen, Germany) ,  Rausch Daniel (University of Stuttgart, Stuttgart, Germany)
資料名： Journal of Cryptology  (Journal of Cryptology)
巻： 33  号： 4  ページ： 1461-1584  発行年： 2020年 
JST資料番号： T0627A  ISSN： 0933-2790  CODEN： JOCREQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 普遍的なコンポサビリティパラダイムは,暗号プロトコルのモジュール設計と解析を可能にする。それは,暗号で広く,そして,首尾よく使用された。しかし,普遍的コンポラビリティのためのコヒーレントだが簡単な表現モデルの欠点は,そのようなモデルの履歴が示すように,非常に自明でない。例えば,UCモデルの文献において,いくつかの部分的に深刻な問題を指摘した。本研究では,IITMモデル(”Inexhaustive Interactive Turing Mechn”)と呼ばれる,普遍的なコンポサビリティのためのコヒーレントモデルを提案した。モデルの主な特徴は,セッションとパーティー識別子による機械の指定の特定の方法,崩壊の特定のモデリング,あるいは特定のプロトコル階層のような,先験的固定無関係な詳細なしで述べられることである。さらに,実行時間の非常に一般的な概念を採用した。全ての合理的なプロトコルと理想的な機能性は,直接と自然の方法でこの概念に基づいて表現でき,また,メッセージの(人工)パディングや余分なメッセージを付加する(人工)のようなt弱い。これらの特徴のため,モデルは簡単で表現的である。また,組成定理のような一般的な結果は,そのような詳細がコンクリート応用に対してどのように固定されているかを独立に保持する。ユニバーサルコンポサビリティのための他のモデル,特にUCモデル,およびIITMモデルの柔軟性と表現性のため,概念的に,これらのモデルで定式化された結果は,IITMモデルに直接運ぶ。Copyright The Author(s) 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *コヒーレンス ,  コンクリート ,  柔軟性 ,  モジュラ設計 ,  暗号 ,  パッド ,  定式化
準シソーラス用語： 実行時間 ,  暗号プロトコル ,  識別子 , 【Automatic Indexing@JST】

著者キーワード (3件)： ユニバーサルコンポーザビリティ ,  プロトコル解析 ,  基礎

分類 (1件)： 符号理論  (ND02030R)

タイトルに関連する用語 (4件)： モデル ,  ユニバーサルコンポーザビリティ ,  単純 ,  表現