利用恶意模型中的安全定义证明半诚实模型的安全性

Question

我可以使用恶意模型中的安全定义来证明半诚实模型中的两方协议的安全性吗？(我正在使用理想/真实模型范例)

你能给我解释一下吗？

这些定义来自“高效安全的两方协议-黑泽-林德尔”定义2.3.1 (恶意模型)

定义2.2.1 (半诚实模型)

-

Answer 1

不，你不能这样做，因为，正如书中进一步解释的，防范恶意对手并不意味着对半诚实的敌人的安全。