Kaiser, M. , Buchmann, J. (2007), 'Computer Verification in Cryptography', World Academy of Science, Engineering and Technology, Open Science Index 12, International Journal of Computer and Information Engineering, 1(12), 4148 - 4153.