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. This is accomplished by having the designer or engineer input a set of security system requirements and properties that dynamically produces a security protocol that best meets the criteria. The system requirements for input are defined as a metric function, which defines the cost or overhead of the protocol primitives, which defines an ordering over protocols with respect to the metric function. Based on this ordering, APG investigates the protocol space and outputs the correct protocol, which has minimal cost with respect to the metric function. The protocol also satisfies the security properties and system requirements.
Read Entire Paper
E-Mail Link
Your IP address will be sent with this e-mail
