安全性证明

##敌手模型 1、根据敌手是否指示参与方行事 (1)半诚实模型 参与方即使被腐败,也会正常执行协议,但中间会手机相关信息(比如中间结果等),并试图利用这些信息学习协议中的保密信息。 (2)增强半诚实模型 在半诚实的基础上,敌手可以更改参与者的起始输入,并正常执行程序。 (3)恶意模型 参与方会根据敌

你可能感兴趣的:(安全性证明)