1. On the security of public key protocols;D Dolev;Proc. of the IEEE 22 nd Annual Symposium on Foundations of Computer Science,1981
2. Is Your Cat Infected with a Computer Virus?;M Rieback;Proc. of the 4 th IEEE conference on Pervasive Computing and Communications,2006