Issues in Generating Security Protocols Automatically

Lin, Along

HP Development Company

关键词: security protocols;    protocol specification;    security property;   

RP-ID  :  HPL-2001-240R1

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

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