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

SDL model based on exchange of key encryption key

作　　者：徐宁[1] 张涛[1] 王亚弟[1] 

机构地区：[1]解放军信息工程大学电子技术学院研究所,河南郑州450004

出　　处：《计算机工程与设计》2008年第20期5150-5154,共5页Computer Engineering and Design

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

摘　　要：分析了一个信息安全产品的SDL设计模型,说明了密钥加密密钥交换的状态迁移过程,讨论了在使用SDL分析工具对模型进行分析、模拟、验证甚至代码生成中涉及的一些问题。通过实例分析,说明了形式化技术在工程中特别是安全系统的设计开发过程中的应用过程。特点是运用SDL,分析得出了密钥加密密钥交换的框架结构,并使用比特状态探测算法对其进行了验证。An SDL design model of security-critical product is analyzed, the state transition process ofan exchange ofkey encryption key is illuminated, and some problems are discussed involved in analysis, simulation and validation of the model using tools. By the example, the application process of formal techniques is narrated in engineering, especially in security-critical system. The outstanding characteristic is analyzed the exchange of key encryption key and obtaining its framework by applying SDL, validating the framework using bit state exploration algorithm.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]