Bradley Cowie Supervised by Barry Irwin Security and Networks Research Group Department of Computer Science Rhodes University Analysis and Processing of Cryptographic Protocols…