Kaiser, M. , Buchmann, J.. "Formal Analysis of a Public-Key Algorithm". World Academy of Science, Engineering and Technology, Open Science Index 9, International Journal of Computer and Information Engineering, (2007), 1(9), 2761 - 2768.