Manoj Kumar Security Analysis of a Remote User Authentication Scheme with Smart Cards http://arxiv.org/abs/0711.0128 2007 CoRR abs/0711.0128 db/journals/corr/corr0711.html#abs-0711-0128 informal publication