In this paper,design and analysis of provably secure ISRSAC cryptosystem are discussed. Based on the study and analysis on the process and the correctness and security of the ISRSAC algo-rithm,defects in the ISRSAC scheme are modified and two provably secure cryptosystem schemes named ISRSAC-OAEP and ISRSAC-PSS are designed. In addition,advantages of the ISRSAC-OAEP and the ISRSAC-PSS are analyzed. The ISRSAC-OAEP and the ISRSAC-PSS are proved to be safe a-gainst the adaptive chosen ciphertext attack in the random oracle model.