首次提出的基于模拟的MPC的独立模型在哪里？

Question

多方计算中基于仿真的证明的独立模型和UC模型在提供的保证上有所不同:独立模型在顺序合成下提供安全性，而UC模型在并发组合下提供安全性。

通常情况下，UC模型起源于Ran Canetti在FOCS 2001发表的一篇论文。然而，我找不到这样的被引用的独立模式。

哪些作品(S)介绍了独立模式？

据我所知，80年代和90年代的MPC没有今天那么正式，也许这个模型被使用了，但没有正式定义。然而，我仍然想知道这个词是在什么地方、什么时候被创造出来的，以及哪个作品首先使用了这个概念(可能没有命名)。

Answer 1

标准(独立的)定义是多年来发展起来的，包括最初的GMW、Beaver、Goldwasser-Levin和Micali-Rogaway.然而，今天使用的标准定义是卡内蒂，并发表在2000年的“密码学杂志”上。证明了模序合成定理。这是一篇文章的链接：https://eprint.iacr.org/1998/018。

上面的论文实际上只涉及诚实的多数情况，这是毫无价值的。然而，不诚实的大多数所需的改变是微小和直接的，并且对模序合成定理的证明没有任何影响。