密钥交换过程的SDL模型分析

摘要：

分析了一个信息安全产品的SDL设计模型,说明了密钥加密密钥交换的状态迁移过程,讨论了在使用SDL分析工具对模型进行分析、模拟、验证甚至代码生成中涉及的一些问题.通过实例分析,说明了形式化技术在工程中特别是安全系统的设计开发过程中的应用过程.特点是运用SDL,分析得出了密钥加密密钥交换的框架结构,并使用比特状态探测算法对其进行了验证.

关键词：SDL、密钥加密密钥、状态迁移、形式化、验证

所属期刊栏目：29

分类号：TP309(计算技术、计算机技术)

资助基金：国家863高技术研究发展计划基金项目2006AA012433;装备预研基金项目9140A16040206JB5203

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

页数：共5页

页码：5150-5154