Protocol Initialization for the Framework of Universal Composability
Protocol Initialization for the Framework of Universal Composability
复制标题
通用可组合性框架的协议初始化
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
T. Rabin
中科院分区：
文献类型：
--
作者：
B. Barak;Yehuda Lindell;T. Rabin
通用可组合的原型（Canetti，FOCS 2000）是即使与任意其他原型一起运行也保持安全的密码学原型。因此，通用可组合协议可以在现代网络（如Internet）中运行，并且其安全性得到保证。然而，通用合成的定义实际上假设协议的每个执行被分配唯一的会话标识符，并且此外，该标识符对于所有参与方都是已知的。此外，所有普遍可组合的协议都假设参与方的集合和要运行的协议的规范是先验商定的并且为所有各方所知。在像互联网这样的去中心化网络中，这种设置信息必须由各方自己生成。在本文中，我们形式化的设置问题，并显示如何安全地实现它与一个简单而高效的proto ol。
Universally omposable proto ols (Canetti, FOCS 2000) are ryptographi proto ols that remain se ure even when run on urrently with arbitrary other proto ols. Thus, universally omposable proto ols an be run in modern networks, like the Internet, and their se urity is guaranteed. However, the de nition of universal omposition a tually assumes that ea h exe ution of the proto ol is assigned a unique session identi er, and furthermore, that this identi er is known to all the parti ipating parties. In addition, all universally omposable proto ols assume that the set of parti ipating parties and the spe i ation of the proto ol to be run are a-priori agreed upon and known to all parties. In a de entralized network like the Internet, this setup information must be se urely generated by the parties themselves. In this note we formalize the setup problem and show how to se urely realize it with a simple and highly eÆ ient proto ol.