Y-SPH-OT协议的安全性分析.pdfVIP

计算机科学2006V01．33№．8(增刊) Y—SPH—OT协议的安全性分析*) The forY-Smooth ObliviousTransferProtocols Analysis Projective Security Hashing 冯涛1．2马建峰1 (西安电子科技大学计算机网络与信息安全教育部重点实验室 西安710071)1 (兰州理工大学计算机科学与通信工程学院 兰州730050)2 for Abstract the methodsbasedonsimulation，weadefinitionof the Byusingprovablesecurity analysed security ProtocolY-Smooth ObliviousTransfer(Y-SPH—-OT)withintheframeworkof corn-- ProjectiveHashing universally of Protocolsare inthecasesemi-honest，staticadversaries．But posablesecurity．Y-SPH_C)Tcomlmsablesecurity discussedfailure Y-SPH-OTProtocolsisnotcomposableinthecaseof adversaries．We reasons． security adaptive transfer function KeywordsUniversallycomposablesecurity，Obliviousprotocols，Projectivepashing S中均匀选取元素X，e—I表示毒实例选自1分布 1 引言 空间。 TransferProto- 不经意传输协议(Oblivious 定义1(子集成员问题)假设分布空间 cols，oTP)的可证明安全性可以归约为大整数因子{Ik)t∈N，对于每一个k，It是采集实例毫的概率分 分解假设、Diffie-Hellman假设、增强的陷门置换存布。子集成员问题针对每一个实例毫说明了两个有 在性假设、判定性Diffie-Hellman假设等困难问 题[1~3]。但是，OT协议是多方协议安全的基础，常 常作为复合协议的基本构造模块，在协议的模块化 s．t(x，w)∈R)是非空的。本文约定：对于任何实例 复合设计中，我们必须考虑协议的可复合性和并行 异步运行模式。 描述集合，简记为X，I，，w，R。 Canetti研究了现实网络环境中各种协议运行 定义2(困难子集成员问题)称M={1k)kEN 的并发情况和协议主体集合关联的情况，提出了通 是困难子集成员问题，若两个分布空间{氛，X(k， 用可复合(UC)安全的协议分析与设计方法[41。如 a)}和{＆，Y(k，a)}是不可区分的，其中＆一Ik，