Bradley Cowie, Barry Irwin, Richard J. Barnett. Management, Processing and Analysis of Cryptographic Network Protocols. In Hein S. Venter, Marijke Coetzee, Les Labuschagne, editors, Information Security South Africa Conference 2009, School of Tourism & Hospitality, University of Johannesburg, Johannesburg, South Africa, July 6-8, 2009. Proceedings ISSA2009. pages 479-488, ISSA, Pretoria, South Africa, 2009. [doi]
Abstract is missing.