论文部分内容阅读
The Problem Theorem:If X holds,then Y(X) is secure.the only known universal/constructive reduction:(E)R(A)A:If A breaks X,then R breaks Y.the security requirement(individual/existential reduction):(A)A(E)RA:If A breaks X,then RA breaks Y.Why ask for individual reductions?Possible to conduct individual reduction?Yes,but need to use some common structure shared by all possible Adversaries.