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...
