A. C. M. Hutchison

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

S. A. Lukell, A. C. M. Hutchison
Attack analysis of cryptographic protocols using strand spaces. South Afr. Comput. J. 31 (2003)
Elton Saul, A. C. M. Hutchison
A graphical environment for the facilitation of logic-based security protocol analysis. South Afr. Comput. J. 26 (2000)