Attack analysis of cryptographic protocols using strand spaces. - S. A. Lukell; A. C. M. Hutchison (South Afr. Comput. J., 2003)