Finally, the decomposition method of system is given, and the correctnessofalgorithm is proved.
文中对系统的分解原则进行了探讨，并对其正确性进行了证明。
2
Based on trapdoor one-way function, this paper presents a RSA -based probabilistic public-key algorithm with security and efficiency and the correctnessofalgorithm was proved.