目前,可证明安全是对密码学方案进行安全性分析的主要方法。而安全性定义是安全证明的前提。典型的安全性定义有选择明文不可区分(......

加密方案的KDM（Key-DependentMessage）安全性定义依赖于某一特定的函数族F。通过引入一类新的函数族，证明了在两个用户的情形下，Cramer......