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.