A Look at Automatic Protocol Generation and Security Protocols

This paper will attempt to describe automatic protocol generation, and security protocols. Automatic Protocol Generation, APG for short, is a mechanism to generate security protocols automatically. The advantage of the Automatic Protocol Generation (APG) approach over the current protocol design process is that, it is fully automatic. The designer inputs the properties and system requirement's which result in a security protocol or output - a better process than creating the security protocol manually. The protocols generated by APG have a higher level of confidence, a result of being able to verify with a powerful protocol analyzer. Another advantage of APG is that since with respect to the order of increasing cost on the Metric Function, APG searches through the protocol space and generates correct protocols with minimal cost that are in line with the system requirements. Further advantages would be that APG is very flexible in the sense that it can handle different security properties and system requirements.