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...
Boris Vassall
July 16, 2001

All papers are copyrighted. No re-posting of papers is permitted