安全协议的自动化设计

摘要：

阐述了安全协议的自动生成-约简-优化模型.在第1阶段,依据系统规范的要求生成候选协议,并用简单的句法约束规则和基于简单冒充的早期删减规则对候选协议进行约简.第2阶段,以串空间理论为依据制定删减规则,对以上候选协议进行进一步的优化,生成符合安全需求的正确协议.

关键词：安全协议、自动化设计、串空间

所属期刊栏目：33

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金60373087;60473023;90104005

在线出版日期：2007-12-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：137-138