Limits on the Provable Consequences of One-way Permutations Export

@incollection{citeulike:2911423, abstract = {We present strong evidence that the implication, ” if one-way permutations exist, then secure secret key agreement is possible”, is not provable by standard techniques. Since both sides of this implication are widely believed true in real life, to show that the implication is false requires a new model. We consider a world where all parties have access to a black box for a randomly selected permutation. Being totally random, this permutation will be strongly one-way in a provable, information-theoretic way. We show that, if P = NP, no protocol for secret key agreement is secure in such a setting. Thus, to prove that a secret key agreement protocol which uses a one-way permutation as a black box is secure is as hard as proving P ≠ NP. We also obtain, as a corollary, that there is an oracle relative to which the implication is false, i.e., there is a one-way permutation, yet secret-exchange is impossible. Thus, no technique which relativizes can prove that secret exchange can be based on any one-way permutation. Our results present a general framework for proving statements of the form, ” Cryptographic application X is not likely possible based solely on complexity assumption Y.”}, author = {Impagliazzo, Russell and Rudich, Steven}, citeulike-article-id = {2911423}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/0-387-34799-2_2}, doi = {10.1007/0-387-34799-2_2}, journal = {Advances in Cryptology — CRYPTO' 88}, keywords = {one-way, relativization}, pages = {8--26}, posted-at = {2008-06-20 21:10:28}, priority = {5}, title = {Limits on the Provable Consequences of One-way Permutations}, url = {http://dx.doi.org/10.1007/0-387-34799-2_2}, year = {1990} }

TY - CHAP ID - citeulike:2911423 L3 - citeulike-article-id:2911423 N2 - We present strong evidence that the implication, “if one-way permutations exist, then secure secret key agreement is possible”, is not provable by standard techniques. Since both sides of this implication are widely believed true in real life, to show that the implication is false requires a new model. We consider a world where all parties have access to a black box for a randomly selected permutation. Being totally random, this permutation will be strongly one-way in a provable, information-theoretic way. We show that, if P = NP, no protocol for secret key agreement is secure in such a setting. Thus, to prove that a secret key agreement protocol which uses a one-way permutation as a black box is secure is as hard as proving P ≠ NP. We also obtain, as a corollary, that there is an oracle relative to which the implication is false, i.e., there is a one-way permutation, yet secret-exchange is impossible. Thus, no technique which relativizes can prove that secret exchange can be based on any one-way permutation. Our results present a general framework for proving statements of the form, “Cryptographic application X is not likely possible based solely on complexity assumption Y.” JF - Advances in Cryptology — CRYPTO’ 88 EP - 26 TI - Limits on the Provable Consequences of One-way Permutations SP - 8 KW - one-way KW - relativization AU - Impagliazzo, Russell AU - Rudich, Steven PY - 1990/// UR - http://dx.doi.org/10.1007/0-387-34799-2_2 ER -