Click here for full text:
Issues in Generating Security Protocols Automatically
Lin, Along
HPL-2001-240R1
Keyword(s): security protocols; protocol specification; security property
Abstract: Protocol design is a very challenging and knowledge- intensive task. Designing a protocol is as hard as synthesizing a program. In this paper, we will first discuss the issues in our automatic security protocol generator, and then propose an approach to constructing security protocols intelligently, based on a security property specification and an extensible general-purpose library of schemas. Each schema is defined by specifying intended behaviors and is described as a sequence of primitive messages. Finally, some conclusions are drawn.
11 Pages
Back to Index
| 
Printable version
