“规约”的概念： 规约是复杂性理论中的概念，如果存在一个多项式时间可计算的函数f:{0,1}->{0,1},使得x属于L1，当且仅当f(x)属于L2，则称语言L1可以多项式时间规约到预言L2. ...

IND-CPA安全仅保证敌手是完全被动时（即仅做监听）的安全，不能保证敌手是主动情况时（例如向网络中注入消息）的安全。 为了描述主动攻击，1990年Naor和Yung提出了（非适应性）选择密文攻击（ ...