Security systems are undergoing development with the development of cryptographic protocols that help to secure these communications channels. There have been extensive researches that have been carried out to come up with better security mechanisms that will secure information systems. A cryptographic protocol is a protocol which makes use of cryptography so that they are able to achieve their goals, these goals could include sending private or public keys over the network. There are protocols that are used for securing security systems. This paper will focus on two protocols, NRL analyzer and Bellare-Rogaway model (Tanenbaum, 2003).
How it works
It is a verification tool ...