Issues in Generating Security Protocols Automatically

[摘要] 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

[发布机构] HP Development Company

[学科分类] 计算机科学（综合）

[关键词] security protocols;protocol specification;security property