Predicting the Performance of Transactional Electronic Commerce Protocols. - Matthem Berry; Andrew Hutchison; Elton Saul (Conference on Information Security Management & Small Systems Security, 1999)

A Generic Graphical Specification Environment for Security Protocol Modelling. - Elton Saul; Andrew Hutchison (SEC, 2000)

Cookies: weaving the Web into a state. - Michael Nelte; Elton Saul (XRDS, 2000)

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

Using Gypsie, Gynger and Visual GNY to Analyse Cryptographic Protocols in SPEAR II. - Elton Saul; Andrew Hutchison (Conference on Information Security Management & Small Systems Security, 2001)

Enhanced security protocol engineering through a unified multidimensional framework. - Elton Saul; Andrew Hutchison (IEEE J. Sel. Areas Commun., 2003)