強RSA仮定
「flexible RSA 問題は難しい」という仮定を強RSA仮定(きょうアールエスエイかてい, strong RSA assumption)という。より正確には、以下の通り。
素数生成機 G {\displaystyle G} で次を満たすものが存在する: 任意の多項式時間アルゴリズム A に対し、
P r ( p ← G ( 1 k ) , q ← G ( 1 k ) , n ← p q , a ← R Z n ∗ , ( b , e ) ← A ( n ) : a = b e mod n ∧ e ≠ 1 ) {\displaystyle \mathrm {Pr} (p\gets G(1^{k}),q\gets G(1^{k}),n\gets pq,a\gets _{R}Z_{n}^{*},(b,e)\gets A(n):{a=b^{e}{\bmod {n}}\wedge e\neq 1})}
はnegligible。