Dowsley Rafael, Müller-Quade Jörn, Nascimento Anderson C A
Department of Computer Science, Bar-Ilan University, Ramat Gan 5290002, Israel.
Institute of Theoretical Informatics, Karlsruhe Institute of Technology, 76131 Karlsruhe, Germany.
Entropy (Basel). 2020 Jan 16;22(1):107. doi: 10.3390/e22010107.
We show that random oblivious transfer protocols that are statistically secure according to a definition based on a list of information-theoretical properties are also statistically universally composable. That is, they are simulatable secure with an unlimited adversary, an unlimited simulator, and an unlimited environment machine. Our result implies that several previous oblivious transfer protocols in the literature that were proven secure under weaker, non-composable definitions of security can actually be used in arbitrary statistically secure applications without lowering the security.
我们证明，根据基于一系列信息论属性的定义在统计上安全的随机不经意传输协议在统计上也是通用可组合的。也就是说，它们在具有无限敌手、无限模拟器和无限环境机器的情况下是可模拟安全的。我们的结果意味着，文献中先前在较弱的、不可组合的安全定义下被证明安全的几个不经意传输协议实际上可以用于任意的统计安全应用中，而不会降低安全性。
