Sciweavers

NDSS
2000
IEEE

A First Step Towards the Automatic Generation of Security Protocols

14 years 2 months ago
A First Step Towards the Automatic Generation of Security Protocols
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the specification of the desired security properties and the system requirements. The system requirements include a metric function which specifies the cost or overhead of protocol primitives, which defines an ordering over protocols with respect to the metric function. Based on this ordering, APG explores the protocol space and outputs the correct protocol which has minimal cost with respect to the metric function, as well as satisfies the security properties and system requirements. The APG approach has several advantages over the current protocol design process. It is fully automatic, and hence, more efficient than a manual process. The protocols generated by APG offer higher confidence, because they are verified by a powerful protocol analyzer. Another significant advantage is that, because APG search thr...
Adrian Perrig, Dawn Xiaodong Song
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where NDSS
Authors Adrian Perrig, Dawn Xiaodong Song
Comments (0)