Formal Analysis of Security Protocols

The increase in the development of security protocols and demand for resilience on the part of users in the face of malicious attacks in recent times over communication channels, has resulted in the rigorous analysis and validation of these protocols. Hence, these security protocols must be completely automated, robust, expressive and easily usable. The analysis focuses on the expected security properties that each security protocol is meant to satisfy and also exposed the flaws/strengths inherent in the selected protocols. Hence, three qualities have been suggested which aid in designing of security protocols and also enhance confidence in the use of these protocols.