Click here for full text:
Issues in Generating Security Protocols Automatically
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.
Back to Index