1. Panti, M., Spalazzi, L., Tacconi, S., Valent, S.: Automatic Verification of Security in Payment Protocols for Electronic Commerce. In: Proceedings of the 4th International Conference on Enterprise Information Systems (ICEIS 2002), Ciudad Real, Spain, pp. 968–974 (2002)
2. Lowe, G.: Towards a completeness result for model checking of security protocols. Technical Report 1998/6, Department of Mathematics and Computer Science, University of Leicester (1998), Available from
http://www.mcs.le.ac.uk/~glowe/Security/Papers/completeness.ps.gz
3. Lecture Notes in Computer Science;G. Lowe,1996
4. SMV. School of Computer Science of Carnegie Mellon University (1998), Available via,
http://www.cs.cmu.edu/~modelcheck/
5. Zhang, Y., Xiao, G.: Breaking and fixing the Helsinki protocol using SMV. Elecronics Letters 35(15), 1239–1240 (1999)