可证明安全性方法一个新的密码方案或协议的提出其安全性是人们.docVIP

可证明安全性方法 ???一个新的密码方案或协议的提出，其安全性是人们最为关注的问题。传统的密码学方法通常是设计出方案后等待攻破，如果攻破，就加一些补丁或做一些修正得到新的方案，再继续上述过程。这样的过程总是使密码方案或协议的设计者处于被动的地位，可证明安全性理论就是针对上述问题而提出的一种解决方案，它使设计者在等待攻破之前就可以确定攻击模型，并给出安全性的证明，所以在好的攻击者模型和安全性定义下，可能可以防止一些未知攻击。 ???安全性是可以证明的思想最初是由Goldwasser和Micali提出，他们将概率引入了密码学，强调多项式时间和可忽略的成功概率等,认为在公认的计算复杂度理论假设下，安