A graphical environment for the facilitation of logic-based security protocol analysis. - Elton Saul; A. C. M. Hutchison (South Afr. Comput. J., 2000)

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