Kaiser, M. , Buchmann, J. (2008), 'A Formal Approach for Proof Constructions in Cryptography', World Academy of Science, Engineering and Technology, Open Science Index 14, International Journal of Computer and Information Engineering, 2(2), 587 - 594.