![]() | ![]() |
2003 | ||
---|---|---|
2 | S. A. Lukell, A. C. M. Hutchison: Attack analysis of cryptographic protocols using strand spaces. South African Computer Journal 31: 25-32 (2003) | |
2000 | ||
1 | Elton Saul, A. C. M. Hutchison: A graphical environment for the facilitation of logic-based security protocol analysis. South African Computer Journal 26: 196-200 (2000) |
1 | S. A. Lukell | [2] |
2 | Elton Saul | [1] |